References
- Basagni S. Causal Trees: An Application to CCS Tech. Rep. RI-DSI-146-9 Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano 1995
- Boudol , G. 1990 . “ Flow Event Structure and Flow Net ” . In Semantics of Systems of Concurrent Processes , Edited by: Guessarian , I. Vol. 469 , 62 – 95 . Springer-Verlag, L.N.C.S .
- Boudol G. Castellani I. Permutation of Transition: an Event Structure Semantics for CCS and SCCS, in [12] 411 427
- Boudol , G. and Castellani , I. 1990 . “ Three Equivalent Semantics for CCS ” . In Semantics of Systems of Concurrent Processes , Edited by: Guessarian , I. Vol. 469 , 96 – 141 . Springer-Verlag, L.N.C.S .
- Darondeau , Ph. and Degano , P. 071989 . Casual Trees, Proc. 16th ICALP , Edited by: Ausiello , G. , Dezani-ciancaglini , M. and Ronchi Della Rocca , S. Vol. 372 , 234 – 248 . Springer-Verlag, L.N.CS .
- Darondeau , Ph. and Degano , P. 1990 . “ Casual Trees Interleaving + Causality ” . In Semantics of Systems of Concurrent Processes , Edited by: Guessarian , I. Vol. 469 , 239 – 255 . Springer-Verlag, L.N.C.S .
- Degano , P. and Priami , C. 1992 . Proved Trees, Proc. 19th ICALP , Edited by: Kuich , W. Vol. 623 , 629 – 640 . Spriger-Verlag . Wien, July
- Milner , R. 1980 . A Calculus of Communicating Systems , Vol. 92 , Springer-Verlag, L.N.C.S .
- Milner , R. 1984 . “ Notes on a Calculus for Communicating Systems, In: Control Flow and Data Flow: Concepts of Distributed Programming ” . In NATO ASI Series F , Edited by: Broy , M. Vol. 14 , 205 – 228 . Heidelberg : Springer-Verlag .
- Milner , R. 1989 . Communication and Concurrency , Prentice Hall International .
- Plotkin , G. 1981 . “ A Structural Approach to Operational Semantics ” . In DAIMI Report FN–19 , Department of Computer Science, Aarhus .
- Rex school , Proc . 1989 . Workshop on Linear Time, Branching Time and Partial Ordering in Logics and Models for Concurrency , Edited by: De Bakker , J. W. , De Roever , J.–P. and Rozenberg , G. Vol. 354 , Springer-Verlag, L.N.C.S .