Skip to Content

M7 – Modelling Distributed Systems: Process Algebra

Andrea Omicini

Proving features of concurrent and distributed systems, the basics of process algebra, its operators, laws and transitions.

course of the deck
Course_icon.svg Distributed Systems (Module 1) (2nd cycle, 2024/2025) — Andrea Omicini
used in the lectures
Courselecture_icon.svg Mon 28 Oct 2024, 13:00
same deck in other editions
Coursedeck_icon.svg M9 – Modelling Distributed Systems: Process Algebra — Distributed Systems (Module 1)
reference publication
Publication_icon.svg A brief history of process algebra (article in journal, 2005) — Jos C.M. Baeten
Publication_icon.svg Process algebra for synchronous communication (article in journal, 1984) — Jan A. Bergstra, Jan Willem Klop
Publication_icon.svg Handbook of Process Algebra (edited volume, 2001) — Jan A. Bergstra, Alban Ponse, Scott A. Smolka
Publication_icon.svg A Theory of Communicating Sequential Processes (article in journal, 1984) — Stephen D. Brookes, Charles Antony Richard Hoare, Andrew William Roscoe
Publication_icon.svg Algebra (book, 1967) — Saunders MacLane, Garrett Birkhoff
Publication_icon.svg A Calculus of Communicating Systems (book, 1980) — Robin Milner
Publication_icon.svg Petri Nets (article in journal, 1977) — James L. Peterson
Publication_icon.svg A structural approach to operational semantics (technical report, 1981) — Gordon D. Plotkin
Publication_icon.svg Behavioral Relations in a Process Algebra for Variants (paper in proceedings, 2014) — Mirco Tribastone

M7 – Modelling Distributed Systems: Process Algebra
— sort
Lecture
— language
English wgb.gif
who
— authors
Andrea Omicini
course
Distributed Systems (Module 1) 2024/2025
URL
Virtuale