Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Readies and failures in the algebra of communicating processes
SIAM Journal on Computing
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Process algebra
An alternative semantics for the parallel operator of the calculus of gamma programs
Coordination programming
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
ACM Computing Surveys (CSUR)
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Failure of Failures in a Paradigm for Asynchronous Communication
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
Asynchronous Observations of Processes
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
A Process Algebra Based on LINDA
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Concurrent constraint programming languages
Concurrent constraint programming languages
Hi-index | 0.00 |
We study at different levels of abstraction general semantic and algebraic properties of languages which are based on asynchronous communication. These different levels of abstraction concern the specific nature of the communication mechanism. At the highest level we introduce a process algebra which characterizes asynchronous communication in general, that is, when abstracting from the specific nature of the communication mechanism. This generic process algebra we further instantiate to algebras for different classes of languages. Considered are classes of languages which are based on a general monoid structure of the actions and classes of languages which are based on read/write operations.