Sergio Marchetti

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1990
A2CCKS: Atomic Actions for CCS.
Theor. Comput. Sci., 1990

1988
A²CCS: A Simple Extension of CCS for Handling Atomic Actions.
Proceedings of the CAAP '88, 1988

1987
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


  Loading...