Theoretical Computer Science
Information and Computation
Coordination languages and their significance
Communications of the ACM
Computational interpretations of linear logic
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
On the &pgr;-calculus and linear logic
MFPS '92 Selected papers of the conference on Meeting on the mathematical foundations of programming semantics, part I : linear logic: linear logic
The coordination language facility: coordination of distributed objects
Theory and Practice of Object Systems - Special issue on distributed object management
Coordination programming: mechanisms, models and semantics
Coordination programming: mechanisms, models and semantics
Zero-safe nets: comparing the collective and individual token approaches
Information and Computation - Special issue on EXPRESS 1997
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Proceedings of the 17th International Conference on Logic Programming
Coordination as Comstrainted Interaction (Extended Abstract)
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Temporal Linear Logic Specifications for Concurrent Processes
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Linear and affine logics with temporal, spatial and epistemic operators
Theoretical Computer Science
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
YAWL: yet another workflow language
Information Systems
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
Temporal linear logic as a basis for flexible agent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics and Analysis of Component Connectors in Reo
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling agents' choices in temporal linear logic
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Büchi automata for modeling component connectors
Software and Systems Modeling (SoSyM)
Formal modeling
Hi-index | 0.00 |
This article considers the coordination language Reo , a Petri net variant called zero-safe nets , and intuitionistic temporal linear logic (ITLL ). The first part examines the semantics of the coordination language Reo in relation to zero-safe nets. Although the external presentations of the two models are quite different, the difference in underlying semantics is rather small. In fact, Reo connectors can be compositionally encoded into zero-safe nets. This means that the tools and techniques developed for Petri nets over the last 30 years, such as various extensions to the zero-safe nets model, such reconfigurable and dynamic nets, can be adapted to the Reo setting. The second part re-examines the idea of using linear logic as a basis for coordination languages. Specifically, we argue that intuitionistic temporal linear logic (ITLL ) can encode the semantics of Reo and zero-safe nets, by encoding their notion of transaction. Moreover, by adapting the encoding and exploring the additional connectives of ITLL , it can form the basis of an expressive coordination language which goes beyond these models, by introducing means for explicitly reasoning about choices made by the environment and by providing more fine-grained control over the timing of interaction.