| |
| 1997 | ||
|---|---|---|
| 4 | Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee: A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. 138(2): 124-159 (1997) | |
| 3 | EE | 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): 179-219 (1997) |
| 1993 | ||
| 2 | Patrice Brémond-Grégoire, Insup Lee, Richard Gerber: ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. CONCUR 1993: 417-431 | |
| 1992 | ||
| 1 | Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee: CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. NAPAW 1992: 65-85 | |
| 1 | Jin-Young Choi | [4] |
| 2 | Susan B. Davidson | [1] |
| 3 | Richard Gerber | [2] |
| 4 | Insup Lee | [1] [2] [3] [4] |