M10 – Coordination of Distributed Systems

Interaction and coordination, enabling versus governing interaction, classes of coordination models, and workflow management systems as real-world coordination.

course of the deck
Course_icon.svg Distributed Systems (Module 1) (2nd cycle, 2024/2025) — Andrea Omicini
used in the lectures
reference publication
Publication_icon.svg Gamma and the Chemical Reaction Model: Fifteen Years After (book chapter, 2001) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
Publication_icon.svg Intelligence Without Reason (paper in proceedings, 1991) — Rodney A. Brooks
Publication_icon.svg Coordination Models and Languages as Software Integrators (article in journal, 1996) — Paolo Ciancarini
Publication_icon.svg Online Engineering and Open Computational Systems (book chapter, 2004) — Martin Fredriksson, Rune Gustavsson
Publication_icon.svg Coordination Languages and Their Significance (article in journal, 1992) — David Gelernter, Nicholas Carriero
Publication_icon.svg Interactive Computation: The New Paradigm (edited volume, 2006) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
Publication_icon.svg Elements of Interaction: Turing Award Lecture (article in journal, 1993) — Robin Milner
Publication_icon.svg Coordination of Internet Agents (edited volume, 2001) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
Publication_icon.svg Coordination Models and Languages (book chapter, 1998) — George A. Papadopoulos, Farhad Arbab
Publication_icon.svg Petri Nets (article in journal, 1977) — James L. Peterson
Publication_icon.svg Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (paper in proceedings, 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
Publication_icon.svg Tuple-based Technologies for Coordination (book chapter, 2001) — Davide Rossi, Giacomo Cabri, Enrico Denti
Publication_icon.svg Why Interaction Is More Powerful Than Algorithms (article in journal, 1997) — Peter Wegner
Publication_icon.svg Mathematical Models of Interactive Computing (technical report, 1999) — Peter Wegner, Dina Goldin