M13 – Coordination of Distributed Systems
course of the deck
used in the lectures
same deck in other editions
reference publication
Reo: A Channel-based Coordination Model for Component Composition (article in journal, 2004) — Farhad Arbab An Overview of Manifold and its Implementation (article in journal, 1993) — Farhad Arbab, Ivan Herman, Per Spilling Gamma and the Chemical Reaction Model: Fifteen Years After (book chapter, 2001) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer Intelligence Without Reason (paper in proceedings, 1991) — Rodney A. Brooks Coordination Models and Languages as Software Integrators (article in journal, 1996) — Paolo Ciancarini Coordination and Composition in Multi-agent Systems (paper in proceedings, 2005) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer Reusable Patterns for Agent Coordination (book chapter, 2001) — Dwight Deugo, Michael Weiss, Elizabeth Kendall Co-operating Sequential Processes (book chapter, 2002) — Edsger Wybe Dijkstra Service-Oriented Architecture (book, 2005) — Thomas Erl Agent Communication Language Specifications (manual, 2002) — Online Engineering and Open Computational Systems (book chapter, 2004) — Martin Fredriksson, Rune Gustavsson Generative Communication in Linda (article in journal, 1985) — David Gelernter Coordination Languages and Their Significance (article in journal, 1992) — David Gelernter, Nicholas Carriero Interactive Computation: The New Paradigm (edited volume, 2006) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner A Software Environment for Concurrent Coordinated Programming (paper in proceedings, 1996) — Anne-Alexandra Holzbacher Specification and Analysis of System Architecture Using Rapide (article in journal, 1995) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann Elements of Interaction: Turing Award Lecture (article in journal, 1993) — Robin Milner On the Semantics of Tuple-based Coordination Models (paper in proceedings, 1999) — Andrea Omicini From Tuple Spaces to Tuple Centres (article in journal, 2001) — Andrea Omicini, Enrico Denti Coordination of Internet Agents (edited volume, 2001) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf Coordination Models and Languages (book chapter, 1998) — George A. Papadopoulos, Farhad Arbab Petri Nets (article in journal, 1977) — James L. Peterson Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (paper in proceedings, 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini Tuple-based Technologies for Coordination (book chapter, 2001) — Davide Rossi, Giacomo Cabri, Enrico Denti Why Interaction Is More Powerful Than Algorithms (article in journal, 1997) — Peter Wegner Mathematical Models of Interactive Computing (technical report, 1999) — Peter Wegner, Dina Goldin
English
