Patrice Brémond-Grégoire

Publication Activity (10 Years)

Years Active: 1992-1997
Publications (10 Years): 0

Publications

Patrice Brémond-Grégoire, Insup Lee
A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. Theor. Comput. Sci. 189 (1-2) (1997)
Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee
A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. 138 (2) (1997)
Insup Lee, Patrice Brémond-Grégoire, Richard Gerber
A process algebraic approach to the specification and analysis of resource-bound real-time systems. Proc. IEEE 82 (1) (1994)
Patrice Brémond-Grégoire, Insup Lee, Richard Gerber
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. CONCUR (1993)
Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee
CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. NAPAW (1992)