Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations
ACM Turing AwardActor modelCalculus of Broadcasting SystemsConcurrent computing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
CCS: A Calculus of Communicating Systems
The process calculus CCS for describing reactive systems is introduced. Its syntax is defined, as well as its operational… 
2014
2014
Feasibility of significant CO2 emission reductions in thermal power plants–comparison of biomass and CCS
2011
2011
Calculus of Communicating Systems
In automata theory, a process is modeled as an automaton. In Chaps. 6 and 7, we studied automata models for simple input/output… 
2005
2005
Uncertainty of the role of carbon capture and sequestration within climate change mitigation strategies
2001
2001
TCCS : A Temporal Calculus of Communicating Systems ( DRAFT )
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is… 
Highly Cited
1999
Highly Cited
1999
The electronic spectrum of pyrrole
The electronic spectrum of pyrrole has been investigated by performing calculations using a hierarchy of coupled-cluster models… 
1999
1999
Software synthesis for system level design using process execution trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application… 
1994
1994
Calculus of Communicating Systems : a synopsis Mantis
This article summarizes the essential ideas as presented in the book \Communication and Concurrency" by R.Milner [Mil89]. It… 
1989
1989
Deriving a protocol converter: a top-down method
A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some… 
1983
1983
A fair calculus of communicating systems
SummaryIn this paper we are concerned with an operational approach to fairness, the problem of defining and generating the fair… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)