M7 – Modelling Distributed Systems: Process Algebra
 dati |
 bibtex |
corso dei lucidi
usati nelle lezioni
gli stessi lucidi in altre edizioni
pubblicazione di riferimento
A brief history of process algebra (articolo in rivista, 2005) — Jos C.M. Baeten Process algebra for synchronous communication (articolo in rivista, 1984) — Jan A. Bergstra, Jan Willem Klop Handbook of Process Algebra (curatela, 2001) — Jan A. Bergstra, Alban Ponse, Scott A. Smolka A Theory of Communicating Sequential Processes (articolo in rivista, 1984) — Stephen D. Brookes, Charles Antony Richard Hoare, Andrew William Roscoe Algebra (libro, 1967) — Saunders MacLane, Garrett Birkhoff A Calculus of Communicating Systems (libro, 1980) — Robin Milner Petri Nets (articolo in rivista, 1977) — James L. Peterson A structural approach to operational semantics (rapporto tecnico, 1981) — Gordon D. Plotkin Behavioral Relations in a Process Algebra for Variants (articolo in atti, 2014) — Mirco Tribastone
Inglese
