According to our database1, Sergio Marchetti authored at least 4 papers between 1987 and 1990.
Legend:Book In proceedings Article PhD thesis Other
A2CCKS: Atomic Actions for CCS.
Theor. Comput. Sci., 1990
A²CCS: A Simple Extension of CCS for Handling Atomic Actions.
Proceedings of the CAAP '88, 1988
Partial ordering models for concurrency can be defined operationally.
International Journal of Parallel Programming, 1987
An Exercise in Concurrency: a CSP Process as a Condition/ event System.
Proceedings of the Advances in Petri Nets 1988, 1987