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] |