Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2011
2011
In automata theory, a process is modeled as an automaton. In Chaps. 6 and 7, we studied automata models for simple input/output… Expand
Is this relevant?
2004
2004
SummaryIn this paper we are concerned with an operational approach to fairness, the problem of defining and generating the fair… Expand
Is this relevant?
1994
1994
This article summarizes the essential ideas as presented in the book \Communication and Concurrency" by R.Milner [Mil89]. It… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3
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… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A process algebra that extends R. Milner's (1983) calculus of communicating systems (CCS) with probabilities and time is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 8
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four… Expand
  • table I
  • table III
  • table V
  • table VI
  • table VII
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Abstract Given a set of processes and a set of tests on these processes we show how to define in a natural way three different… Expand
  • table 1
Is this relevant?
Highly Cited
1980
Highly Cited
1980
  • Robin Milner
  • Lecture Notes in Computer Science
  • 1980
  • Corpus ID: 27047741
0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and… Expand
Is this relevant?