Sergio Marchetti

According to our database, Sergio Marchetti authored at least 4 papers between 1987 and 1990.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1990

A2CCKS: Atomic Actions for CCS.

Roberto Gorrieri, Sergio Marchetti, Ugo Montanari

Theor. Comput. Sci., 1990

1988

A²CCS: A Simple Extension of CCS for Handling Atomic Actions.

Roberto Gorrieri, Sergio Marchetti, Ugo Montanari

Proceedings of the CAAP '88, 1988

1987

Partial ordering models for concurrency can be defined operationally.

Pierpaolo Degano, Sergio Marchetti

Int. J. Parallel Program., 1987

An Exercise in Concurrency: a CSP Process as a Condition/ event System.

Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti

Proceedings of the Advances in Petri Nets 1988, 1987