| |
| 1990 | ||
|---|---|---|
| 3 | Roberto Gorrieri, Sergio Marchetti, Ugo Montanari: A2CCKS: Atomic Actions for CCS. Theor. Comput. Sci. 72(2&3): 203-223 (1990) | |
| 1988 | ||
| 2 | Roberto Gorrieri, Sergio Marchetti, Ugo Montanari: A²CCS: A Simple Extension of CCS for Handling Atomic Actions. CAAP 1988: 258-270 | |
| 1987 | ||
| 1 | Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti: An Exercise in Concurrency: a CSP Process as a Condition/ event System. European Workshop on Applications and Theory of Petri Nets 1987: 85-105 | |
| 1 | Pierpaolo Degano | [1] |
| 2 | Roberto Gorrieri | [1] [2] [3] |
| 3 | Ugo Montanari | [2] [3] |