Calculus of communicating systems
Semantic Scholar uses AI to extract papers important to this topic.
- Journal of Computer Science and Technology
In the study of process calculi, encoding between different calculi is an effective way to compare the expressive power of… (More)
This article summarizes the essential ideas as presented in the book \Communication and Concurrency" by R.Milner [Mil89]. It… (More)
In this paper we present a calculus of communicating systems which allows one to express sending and receiving processes. We call… (More)
- ACM Trans. Program. Lang. Syst.
The Concurrency Workbench is an automated tool for analyzing networks of finite-state processes expressed in Milner's Calculus of… (More)
CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others… (More)
In this paper, we introduce a calculus of communicating systems which allows for the expression and analysis of timing… (More)
We present the -calculus, a calculus of communicating systems in which one can naturally express processes which have changing… (More)
except that all proofs of theorems have been left out. Should anyone have interest in particular proofs, they may be obtained by… (More)
In this paper we are concerned with an operational approach to fairness, the problem of defining and generating the fair… (More)
- Lecture Notes in Computer Science