A weakest precondition semantics for communicating processes
Theoretical Computer Science
Programming parallel numerical algorithms in Ada
Proc. IFIP TC 2 working conference on The relationship between numerical computation and programming languages
An Effective Implementation for the Generalized Input-Output Construct of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Thoth, a portable real-time operating system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
A Discipline of Programming
Some Observations on Compositional Semantics
Logic of Programs, Workshop
NIL: An integrated language and system for distributed programming
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
In support of the Ada 9X real-time facilities
ACM SIGAda Ada Letters
An Ada deadlock testing algorithm based on control and communication flow graphs
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Modelling remote concurrency with Ada: case study of symmetric non-deterministic rendezvous
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
| Hi-index | 0.00 |
We argue for the need of supporting a symmetric select construct, in which entry calls as well as accepts can be alternatives. We present several situations in which a symmetric select leads to a more natural programming style. We show that several semantic principles are violated by a nonsymmetric select, while being satisfied by a symmetric one. In particular, the suggested symmetric intertask communication mechanism is fully abstract and composable, and has a distributed termination rule which reduces the risk of deadlock. Our discussion is in terms of Ada™.