A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
An Effective Implementation for the Generalized Input-Output Construct of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Distributed Protocol for Channel-Based Communication with Choice
PARLE '92 Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe
A CSP Model for Java Multithreading
PDSE '00 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
Alting barriers: synchronisation with choice in Java using JCSP
Concurrency and Computation: Practice & Experience - Communicating Process Architectures (CPA) 2007
| Hi-index | 0.00 |
In this paper we describe the design and implementation of the generalized alternative construct for the Erasmus programming language. The alternative construct is a generalization of the familiar if-then-else statement that allows a process to non-deterministically choose between possible communications on several channels. Previous algorithms put restrictions on the use of the alternative construct that prevent both input/output operations to be used in an alternation. Our design removes previous restrictions on the use of the alternative construct. In order to support our design and to prove its correctness, we build models based on the ACP algebra, and we use the mCRL2 model checker to analyze and verify our models.