Communicating sequential processes
Communicating sequential processes
How to write parallel programs: a first course
How to write parallel programs: a first course
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Coordinating mobile agents in interaction spaces
Science of Computer Programming
Coordination by Timers for Channel-Based Anonymous Communications
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordinating Object Oriented Components Using Data-Flow Networks
Formal Methods for Components and Objects
Reo Connectors as Coordination Artifacts in 2APL Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
A Uniform Framework for Modeling and Verifying Components and Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile Agents in Interaction Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Design and verification of systems with exogenous coordination using Vereofy
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to-point communication between processes. Our calculus is an extension of the well-known π-calculus. The novelty of MoCha-π is that its channels are a special kind of process that allow other processes to communicate with each other and impose exogenous coordination through user defined channel types. Also new, is the fact that in our calculus channels are viewed as resources. Processes must compete with each other in order to gain access to a particular channel. This makes the calculus more in line with existing systems. An immediate application of this calculus is the modeling of the MoCha middleware, a distributed system that coordinates components using mobile channels.