Skip to search formSkip to main contentSemantic Scholar

You are currently offline. Some features of the site may not work correctly.

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

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

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

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

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

Is this relevant?

Highly Cited

1980

Highly Cited

1980

0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and… Expand

Is this relevant?