COORDINATION C

35 papers

YearTitle / Authors
1996A Case Study of Integration of a Software Process Management System with Software Engineering Environments for Process Monitoring and Management.
Atsuo Hazeyama, Seiichi Komiya
1996A Process Algebra Based on LINDA.
Rocco De Nicola, Rosario Pugliese
1996A Simulator Framework for Embedded Systems.
Pieter A. Olivier
1996A Software Environment for Concurrent Coordinated Programming.
A. A. Holzbacher
1996ALWAN: A Skeleton Programming Language.
Helmar Burkhart, Robert Frank, Guido Hächler
1996ARIADNE and HOPLa: Flexible Coordination of Collaborative Processes.
Gert Florijn, Timo Besamusca, Danny Greefhorst
1996An Extensible Frame work for the Development of Coordinated Applications.
Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
1996Broadcasting in Time.
K. V. S. Prasad
1996CCE: A Process-Calculus Based Formalism for Specifying Multi-Object Coordination.
Manibrata Mukherji, Dennis G. Kafura
1996Compiler Correctness for Concurrent Languages.
David S. Gladstein, Mitchell Wand
1996Coordinating Distributed Objects with Declarative Interfaces.
Narinder Singh, Mark A. Gisi
1996Coordinating Services in Open Distributed Systems with LAURA.
Robert Tolksdorf
1996Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings
Paolo Ciancarini, Chris Hankin
1996Coordination as Comstrainted Interaction (Extended Abstract).
Peter Wegner
1996Coordination in the ImpUNITY Framework.
Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink
1996Designing a Coordination Model for Open Systems.
Thilo Kielmann
1996Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets.
Stefania Castellani, Paolo Ciancarini
1996Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract).
Ugo Montanari, Francesca Rossi
1996Integrating Coordination Features in PVM.
Oliver Krone, Marc Aguilar, Béat Hirsbrunner, Vaidy S. Sunderam
1996Intra- and Inter-Object Coordination with MESSENGERS.
Munehiro Fukuda, Lubomir Bic, Michael B. Dillencourt, Fehmina Merchant
1996Introducing a Calculus for Higher-Order Multiset Programming.
David Cohen, Juarez Muylaert Filho
1996Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation.
Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl
1996Modelling Interoperability by CHAM: A Case Study.
Paola Inverardi, Daniele Compare
1996Nepi: A Network Programming Language Based on the pi-Calculus.
Eiichi Horita, Ken Mano
1996Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction.
Jean-Pierre Banâtre
1996SONIA: An Adaptation of LINDA for Coordination of Activities in Organisations.
Mario Banville
1996Semantics of a Higher-Order Coordination Language.
Matthias Radestock, Susan Eisenbach
1996Solving the LINDA Multiple rd Problem.
Antony I. T. Rowstron, Alan Wood
1996The IWIM Model for Coordination of Concurrent Activities.
Farhad Arbab
1996The TOOLBUS Coordination Architecture.
Jan A. Bergstra, Paul Klint
1996Towards a Compositional Method for Coordinating Gamma Programs.
Michel R. V. Chaudron, Edwin D. de Jong
1996Understanding Behavior of Business Process Models.
Pablo A. Straub, Carlos A. Hurtado
1996VISIFOLD: A Visual Environment for a Coordination Language.
Pascal Bouvry, Farhad Arbab
1996Weaving the Web Using Coordination.
Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali
1996µ
Koenraad De Bosschere, Jean-Marie Jacquet