A Procedure for Splitting Processes and its Application to Coordination (original) (raw)
Related papers
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Lecture Notes in Computer Science, 2006
Towards Action-Refinement in Process Algebras
Information and Computation, 1993
Algebraic Specification of Concurrent Systems
Algebraic Foundations of Systems Specification, 1999
Journal of Systems and Software, 2010
Generic process algebra: A programming challenge
2006
Abstraction in real time process algebra
Springer eBooks, 1992
An axiomatic semantics for nested concurrency
BIT, 1986
A Language for the Declarative Composition of Concurrent Protocols
HAL (Le Centre pour la Communication Scientifique Directe), 2016
Action Refinement in Process Algebra and Security Issues
Lecture Notes in Computer Science, 2008
Algebra of communicating processes with abstraction
Theoretical Computer Science, 1985
Process algebra: An algebraic theory of concurrency
CAI, 2009
Process algebra for synchronous communication
Information and Control, 1984
An action-based framework for veryfying logical and behavioural properties of concurrent systems
Computer Networks and ISDN Systems, 1993
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Lecture Notes in Computer Science, 2008
Process algebra with action dependencies
Acta informatica, 2001
Retracing some paths in process algebra
1996
Formalizing process algebraic verifications in the calculus of constructions
Formal Aspects of Computing, 1997
JACK: A Framework for Process Algebra Implementation in Java
2000
Process algebra with guards: Combining Hoare logic with process algebra
Formal Aspects of Computing, 1994
Specification and Verification of Synchronizing Concurrent Objects
2004
Theoretical Computer Science, 1990
Using Category Theory to Verify Implementation Against Design in Concurrent Systems
Procedia Computer Science, 2015
Pi+-calculus: A calculus for concurrent processes with constraints
1998
A specification language for coordinated objects
Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05, 2005
The Formal Specification Language mCRL2
2006
2001
A new proposal of concurrent process calculus
SOFSEM'96: Theory and Practice of Informatics, 1996
Single-threaded specification of process-interaction formalism in Java
Proceedings of the 36th conference on …, 2004
Read Operators and their Expressiveness in Process Algebras
Electronic Proceedings in Theoretical Computer Science, 2011
Composing Specifications for Coordination
1999
A Process Algebra for Synchronous Concurrent Constraint Programming
Specification structures and propositions-as-types for concurrency
1996
Structuring Processes as a Sequence of Nested Atomic Actions
IFAC Proceedings Volumes, 1985
Coordination: Reo, Nets, and Logic
Lecture Notes in Computer Science, 2008
Optimistic Concurrency Semantics for Transactions in Coordination Languages
Lecture Notes in Computer Science, 2004