Sergio Marchetti

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index