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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

The process calculus CCS for describing reactive systems is introduced. Its syntax is defined, as well as its operational…

2014

2011

In automata theory, a process is modeled as an automaton. In Chaps. 6 and 7, we studied automata models for simple input/output…

2005

2001

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 has been investigated by performing calculations using a hierarchy of coupled-cluster models…

1999

Software synthesis for system level design languages becomes feasible because the current technology, pricing and application…

1994

This article summarizes the essential ideas as presented in the book \Communication and Concurrency" by R.Milner [Mil89]. It…

1989

A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some…

1983

SummaryIn this paper we are concerned with an operational approach to fairness, the problem of defining and generating the fair…