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
Relating multiset rewriting and process algebras for security protocol analysis
When formalizing security protocols, different specification languages support very different reasoning methodologies, whose… 
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… 
1998
1998
Model-Based Vulnerability Analysis of Computer Systems
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to… 
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… 
Highly Cited
1985
Highly Cited
1985
Partial ordering derivations for CCS
In this paper we extend CCS transitions, labelled by strings, to concurrent histories, i.e. to transitions labelled by partial… 
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… 
1982
1982
An Introduction to a Calculus of Communicating Systems
A model for distributed computing systems called CCS, is explained. It is based on the primitive notion of communication and… 
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)