CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. - Patrice Brémond-Grégoire; Susan B. Davidson; Insup Lee 001 (NAPAW, 1992)

ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. - Patrice Brémond-Grégoire; Insup Lee 001; Richard Gerber 001 (CONCUR, 1993)

A process algebraic approach to the specification and analysis of resource-bound real-time systems. - Insup Lee 001; Patrice Brémond-Grégoire; Richard Gerber 001 (Proc. IEEE, 1994)

A Complete Axiomatization of Finite-State ACSR Processes. - Patrice Brémond-Grégoire; Jin-Young Choi; Insup Lee 001 (Inf. Comput., 1997)

A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. - Patrice Brémond-Grégoire; Insup Lee 001 (Theor. Comput. Sci., 1997)