SAC 2000: Electronic Proceedings

Coordination Models, Languages and Applications Track

Track chairs:George A. Papadopoulos, University of Cyprus
Andrea Omicini, Universita degli Studi di Bologna

Semantical Aspects of an Architecture for Distributed Embedded Systems
Roel Bloo, Eindhoven University of Technology, The Netherlands
Jozef Hooman, University Of Nijmegen, The Netherlands
Edwin de Jong, Hollandse Signaalapparaten B.V., The Netherlands
An Extensible Model of Architecture Description
Kurt Lichtner, Paulo Alencar, Don Cowan, University of Waterloo, Canada
A Coordination Language for Mobile Components
Farhad Arbab, Marcello M. Bonsangue, CWI, The Netherlands
Frank S. de Boer, Utrecht University, The Netherlands
Structured Nets in KLAIM
Lorenzo Bettini, Michele Loreti, Rosario Pugliese, Università di Firenze, Italy
XML Dataspaces for Mobile Agent Coordination
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli, Università di Modena, Italy
A Coordination Language for Collective Agent Based Systems: GroupLog
Fernanda Barbosa, Jose C. Cunha, Universidade Nova de Lisboa, Portugal
Supporting Workflow Cooperation Within and Across Organizations
Fabio Casati, Software Technology Lab, USA
Angela Discenza, Politecnico di Milano, Italy
Logic Representation of Processes in Work Activity Coordination
Jacques Wainer, Instituto de Computacao, Brazil
Coordination with Scopes
Iain Merrick, Alan Wood, University of York, UK
Making Tuple Spaces Safe for Heterogeneous Distributed Systems
Naftaly H. Minsky, Rutgers University, USA
Yaron M. Minsky, Cornell University, USA
Victoria Ungureanu, Rutgers University, USA
Optimising the Linda in Primitive: Understanding Tuple-Space Run-times
Antony Rowstron, Microsoft Research, UK
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations
Nadia Busi, Gianluigi Zavattaro, Università di Bologna, Italy
Coordinating HPF Programs to Mix Task and Data Parallelism
Salvatore Orlando, Univ. Cà Foscari di Venezia, Italy
Paolo Palmerini, Raffaele Perego, Istituto CNUCE-CNR, Italy
Building Programs in the Network of Tasks Model
David Skillicorn, Queen's University, Canada,
Susanna Pelagatti, Università di Pisa, Italy
Activity Graphs: A Model-Independent Intermediate Layer for Skeletal Coordination
Murray Cole, University of Edinburgh, Scotland
Andrea Zavanella, Università di Pisa, Italy
A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation
Eric Monfroy, CWI, The Netherlands
Design Guidelines for Coordination Components
Sander Tichelaar, Juan Carlos Cruz, Serge Demeyer, Universitat Bern, Switzerland
*A Configuration-oriented Framework for Distributed Multimedia Applications
Ahmed Saleh, George R.R. Justo, University of Westminster, UK
*Discerning Behavioral Properties by Analyzing Transaction Logs
Srinath Srinivasa, Brandenburgische Technische Universitat, Germany
Myra Spiliopoulou, Humboldt Universitat zu Berlin, Germany
Short papers marked with '*'