Sergio Marchetti

	1990
4		Roberto Gorrieri, Sergio Marchetti, Ugo Montanari: A2CCKS: Atomic Actions for CCS. Theor. Comput. Sci. 72(2&3): 203-223 (1990)
	1988
3		Roberto Gorrieri, Sergio Marchetti, Ugo Montanari: A²CCS: A Simple Extension of CCS for Handling Atomic Actions. CAAP 1988: 258-270
	1987
2		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, Sergio Marchetti: Partial ordering models for concurrency can be defined operationally. International Journal of Parallel Programming 16(6): 451-478 (1987)

Coauthor Index

1	Pierpaolo Degano	[1] [2]
2	Roberto Gorrieri	[2] [3] [4]
3	Ugo Montanari	[3] [4]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page