Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
COORDINATION'96
1st International Conference on Coordination Languages and Models
Cesena, FC, Italy, 15/04/1996–17/04/1996
A new class of models, formalisms and mechanisms for describing concurrent and distributed computations has emerged over the last few years. Some significant representatives of this new class are models and languages based on (generative) communication via a shared data space: Gamma, Linda, Swarm, Linear Objects, Polis and Tao are examples. Coordination models and languages are being investigated by the ESPRIT Basic Research Project, COORDINATION, which is organising this event. The objective of this conference is to provide a forum for the rapidly growing community of researchers interested in this field.
topics of interest
Coordination problems within concurrent, distributed, object oriented, functional and logic programming
Concurrent computation, constraint programming, computation models based on the chemical reaction metaphor and related areas
Software environments for the development of coordinated applications
Semantics and reasoning about coordination
Case studies with industrial relevance (e.g. Workflow, groupware, distributed artificial intelligence, distributed software engineering)
Marco Roccetti • Mauro Gaspari • Paola Salomoni • Vittorio Maniezzo • Riccardo Focardi • Nadia Busi • Marco Bernardo
— pc member
Gul Agha • Jean-Marc Andreoli • Marc Bourgois • Luca Cardelli • Paolo Ciancarini • Laurent Dami • David Garlan • David Gelernter • José Meseguer • Daniel Le Métayer • Oscar Nierstrasz • António Porto • David Sands • Akinori Yonezawa