Patrice Brémond-Grégoire

According to our database, Patrice Brémond-Grégoire authored at least 5 papers between 1992 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

A Process Algebra of Communicating Shared Resources with Dense Time and Priorities.

Patrice Brémond-Grégoire, Insup Lee

Theor. Comput. Sci., 1997

A Complete Axiomatization of Finite-State ACSR Processes.

Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee

Inf. Comput., 1997

1994

A process algebraic approach to the specification and analysis of resource-bound real-time systems.

Insup Lee, Patrice Brémond-Grégoire, Richard Gerber

Proc. IEEE, 1994

1993

ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.

Patrice Brémond-Grégoire, Insup Lee, Richard Gerber

Proceedings of the CONCUR '93, 1993

1992

CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities.

Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee

Proceedings of the NAPAW 92, 1992