A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communication and concurrency
SOCCA: Specifications of Coordinated and Cooperative Activities
Software process modelling and technology
Corba: a guide to common object request broker architecture
Corba: a guide to common object request broker architecture
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
Handbook of Process Algebra
Parallel Control Processes: Modular Parallelism and Communication
Intelligent Autonomous Systems, An International Conference
Team automata for spatial access control
ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work
Dynamic Consistency in Process Algebra: From Paradigm to ACP
Electronic Notes in Theoretical Computer Science (ENTCS)
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Paradigm as Organization-Oriented Coordination Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Delegation modeling with paradigm
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Evolution on-the-fly with paradigm
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
Paradigm is the modeling language of SOCCA regarding communication, coordination and cooperation. A transition system or STD-based operational semantics for Paradigm is proposed and illustrated with basic producer-consumer examples. The proposed semantics for Paradigm, in contrast to other approaches, provides a sound basis for reasoning about system dynamics and system comparison.