Calculus of communicating systems

Known as: CCS 
The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1980-2018
05101519802018

Papers overview

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