M10 – Coordination of Distributed Systems

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

corso dei lucidi
Course_icon.svg Sistemi distribuiti (laurea magistrale, 2021/2022) — Andrea Omicini
usati nelle lezioni
gli stessi lucidi in altre edizioni
pubblicazione di riferimento
Publication_icon.svg Reo: A Channel-based Coordination Model for Component Composition (articolo in rivista, 2004) — Farhad Arbab
Publication_icon.svg Gamma and the Chemical Reaction Model: Fifteen Years After (capitolo di libro, 2001) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
Publication_icon.svg Intelligence Without Reason (articolo in atti, 1991) — Rodney A. Brooks
Publication_icon.svg Coordination Models and Languages as Software Integrators (articolo in rivista, 1996) — Paolo Ciancarini
Publication_icon.svg Coordination and Composition in Multi-agent Systems (articolo in atti, 2005) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Publication_icon.svg Co-operating Sequential Processes (capitolo di libro, 2002) — Edsger Wybe Dijkstra
Publication_icon.svg Online Engineering and Open Computational Systems (capitolo di libro, 2004) — Martin Fredriksson, Rune Gustavsson
Publication_icon.svg Generative Communication in Linda (articolo in rivista, 1985) — David Gelernter
Publication_icon.svg Coordination Languages and Their Significance (articolo in rivista, 1992) — David Gelernter, Nicholas Carriero
Publication_icon.svg Interactive Computation: The New Paradigm (curatela, 2006) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
Publication_icon.svg Elements of Interaction: Turing Award Lecture (articolo in rivista, 1993) — Robin Milner
Publication_icon.svg On the Semantics of Tuple-based Coordination Models (articolo in atti, 1999) — Andrea Omicini
Publication_icon.svg From Tuple Spaces to Tuple Centres (articolo in rivista, 2001) — Andrea Omicini, Enrico Denti
Publication_icon.svg Coordination of Internet Agents (curatela, 2001) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
Publication_icon.svg Coordination Models and Languages (capitolo di libro, 1998) — George A. Papadopoulos, Farhad Arbab
Publication_icon.svg Petri Nets (articolo in rivista, 1977) — James L. Peterson
Publication_icon.svg Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (articolo in atti, 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
Publication_icon.svg Tuple-based Technologies for Coordination (capitolo di libro, 2001) — Davide Rossi, Giacomo Cabri, Enrico Denti
Publication_icon.svg Why Interaction Is More Powerful Than Algorithms (articolo in rivista, 1997) — Peter Wegner
Publication_icon.svg Mathematical Models of Interactive Computing (rapporto tecnico, 1999) — Peter Wegner, Dina Goldin