Journal of the ACM (JACM)
Three logics for branching bisimulation
Journal of the ACM (JACM)
Branching bisimilarity is an equivalence indeed!
Information Processing Letters
A conservative look at operational semantics with variable binding
Information and Computation
Rooted branching bisimulation as a congruence
Journal of Computer and System Sciences
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Modal and temporal properties of processes
Modal and temporal properties of processes
Communication and Concurrency
Computer Networks
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Introduction to Process Algebra
Introduction to Process Algebra
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
The Importance of the Left Merge Operator in Process Algebras
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
µCRL: A Toolset for Analysing Algebraic Specifications
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
A brief history of process algebra
Theoretical Computer Science - Process algebra
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
| Hi-index | 0.00 |
This tutorial provides an overview of the process algebra ACP.