# Concurrent Processes and Their Syntax

@article{Milne1979ConcurrentPA, title={Concurrent Processes and Their Syntax}, author={George J. Milne and Robin Milner}, journal={J. ACM}, year={1979}, volume={26}, pages={302-321} }

A mathemaucal model of concurrent computaUon is presented Starting from synchronized commumcaUon as the only pnmitwe notion, a process is defined as a set of communication capabdmes The domain of processes is budt using the weak powerdomam construction of Smyth, which evolved from that of Plotkm A minimal set of operaUons for composing processes is defined These operations suggest a corresponding mmlmal syntax--the language offlowgraphs--m which to specify these composluons The concept offlow…

## 190 Citations

### On the Syntax and Semantics of Concurrent Computing

- Computer ScienceMathematical Foundations of Programming Semantics
- 1985

A mathematical model is presented as a common framework within which to discuss and compare different models of concurrent computation, which uses the concept of flow net to describe concurrent computation just as a conventional flowchart is used to describe serial computation.

### Processes and a Fair Semantics for the Ada Rendez-Vous

- Computer ScienceICALP
- 1983

It is discussed how such processes can be used to assign meanings to languages with concurrency, culminating in a definition of the ADA rendez-vous.

### CIRCAL and the representation of communication, concurrency, and time

- Computer ScienceTOPL
- 1985

An operational semantics, acceptance semantics, is introduced, and it is in terms of this active experimentation that meaning is given to the CIRCAL syntax, thus allowing proof of system properties to be constructed.

### A Theory for Nondeterminism, Parallelism, Communication, and Concurrency

- Computer ScienceTheor. Comput. Sci.
- 1986

### A Model for Communicating Sequential Processes

- Computer ScienceOn the Construction of Programs
- 1980

A semantic model for processes based on failures is defined, which encapsulate certain finite aspects of process behaviour and allow an elegant treatment of nondeterminism, and a set of process operations are defined, including nondeterministic choice, conditional composition, and various forms of' parallel composition.

### A Domain Equation for Bisimulation

- Computer ScienceInf. Comput.
- 1991

A denotational semantics for SCCS based on the domain of synchronization trees is given, and proved fully abstract with respect to bisimulation.

### Initial Algebra Semantics and Concurrency

- Computer Science, MathematicsMFPS
- 1987

It is shown that diamonds are free in the category of continuous parallel-nondeterministic algebras and some results concerning categories of continuous algeBRas, which can be found in the work of the ADJ group are presented in a self-contained form.

### Contrasting Themes in the Semantics of Imperative Concurrency

- Computer ScienceCurrent Trends in Concurrency
- 1986

A survey is given of work performed by the authors in recent years concerning the semantics of imperative concurrency, for which a number of operational and denotational semantic models are developed.

### SEMANTICS OF IMPERATIVE CONCURRENCY

- Computer Science
- 2006

A survey is given of work performed by the authors in recent years concerning the semantics of imperative concurrency and a number of operational and denotational semantic models are developed.

## References

SHOWING 1-10 OF 40 REFERENCES

### Mathematical model of concurrent computation

- Computer Science
- 1977

A mathematical model is prsented in which we can understand and discuss the behaviour of concurrent computing agents such as interconnecting hardware modules, operating system components and parallel…

### Axiomatic Proof Techniques for Parallel Programs

- Computer ScienceOutstanding Dissertations in the Computer Sciences
- 1975

The deductive system gives an accurate description of program execution and is powerful enough to yield a proof of any true partial correctness formula, as well as being consistent and complete with respect to an interpretive model of parallel execution.

### The denotational semantics of programming languages

- Computer ScienceCACM
- 1976

This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey and presents a formal definition of the language GEDANKEN.

### Communicating sequential processes

- Computer ScienceCACM
- 1978

This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When…

### An axiomatic basis for computer programming

- Computer ScienceCACM
- 1969

An attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics by elucidation of sets of axioms and rules of inference.

### The structure of the “THE”-multiprogramming system

- Computer ScienceCACM
- 1968

A multiprogramming system is described in which all activities are divided over a number of sequential processes, in each of which one or more independent abstractions have been implemented.

### Initial Algebra Semantics and Continuous Algebras

- Computer ScienceJ. ACM
- 1977

An overview of initial algebra semantics is provided and the major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as more basic operations.

### Revised report on the algorithmic language ALGOL 68

- Computer Science, LinguisticsSIGP
- 1977

The report gives a complete defining description of the international algorithmic language Algol 60. This is a language suitable for expressing a large class of numerical processes in a form suitably…