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)

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

- Bent Thomsen
- Acta Informatica
- 1993

In this paper we present a calculus of communicating systems which allows one to express sending and receiving processes. We callâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- Rance Cleaveland, Joachim Parrow, Bernhard Steffen
- ACM Trans. Program. Lang. Syst.
- 1993

The Concurrency Workbench is an automated tool for analyzing networks of finite-state processes expressed in Milner's Calculus ofâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- K. V. S. Prasad
- TAPSOFT, Vol.1
- 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)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- Faron Moller, Chris M. N. Tofts
- CONCUR
- 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

- David Walker
- 1989

We present the -calculus, a calculus of communicating systems in which one can naturally express processes which have changingâ€¦Â (More)

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

- Gerardo Costa, Colin Stirling
- Acta Informatica
- 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