An exercise in formalizing the description of a concurrent system (original) (raw)
Related papers
Algebraic Specification of Concurrent Systems
Algebraic Foundations of Systems Specification, 1999
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications, 2013
CSP: The Best Concurrent-System Description Language in the World – Probably! Extended Abstract
2010
CSP: The Best Concurrent-System Description Language in the World-Probably!
… architectures 2004: WoTUG-27: proceedings of …, 2004
An action-based framework for veryfying logical and behavioural properties of concurrent systems
Computer Networks and ISDN Systems, 1993
Vladimir Carevski, Jane Jovanovski, Maja Siljanoska
Pi+-calculus: A calculus for concurrent processes with constraints
1998
Formal Specification of Concurrent Systems: A Structured Approach
The Computer Journal, 1998
Using Category Theory to Verify Implementation Against Design in Concurrent Systems
Procedia Computer Science, 2015
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Lecture Notes in Computer Science, 2008
Generic process algebra: A programming challenge
2006
A process algebra for synchronous concurrent constraint programming
Lecture Notes in Computer Science, 1996
A new proposal of concurrent process calculus
SOFSEM'96: Theory and Practice of Informatics, 1996
2001
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Celso A S Santos, Jean-pierre Courtiat
Computer Communications, 2000
A true concurrency semantics for ET-LOTOS
1998
JACK: A process algebra implementation in Java
2002
On the Parameterized Algebraic Specification of Concurrent Systems
JACK: A Framework for Process Algebra Implementation in Java
2000
Process algebra: An algebraic theory of concurrency
CAI, 2009
Compiling the behaviour part of LOTOS
1993
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Lecture Notes in Computer Science, 2006
Specification, abstraction and verification in a concurrent object-oriented language
1996
A denotational semantics for a process-based simulation language
Acm Transactions on Modeling and Computer Simulation, 1998
Behavioural types for a calculus of concurrent objects
Lecture Notes in Computer Science, 1997
A Formal Foundation for Process Modeling
Abstraction as a unifying link for formal approaches to concurrency
2012
Journal of Systems and Software, 2010
An axiomatic semantics for nested concurrency
BIT, 1986
A partially deadlock-free typed process calculus
ACM Transactions on Programming Languages and Systems, 1998
Process Algebra as Abstract Data Types
arXiv (Cornell University), 2010
Denotational Semantics for Process-Based Simulation Languages. Part II
1998