|
Search the dblp DataBase
Patrice Brémond-Grégoire:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Patrice Brémond-Grégoire, Insup Lee, Richard Gerber
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. [Citation Graph (0, 0)][DBLP] CONCUR, 1993, pp:417-431 [Conf]
- Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee
CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:65-85 [Conf]
- Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee
A Complete Axiomatization of Finite-State ACSR Processes. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1997, v:138, n:2, pp:124-159 [Journal]
- Patrice Brémond-Grégoire, Insup Lee
A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:189, n:1-2, pp:179-219 [Journal]
Search in 0.001secs, Finished in 0.001secs
|