Operating systems techniques : proceedings of a seminar held at Queen's University Belfast, 1971

Veröffentlicht 1972

Developments in concurrency and communication

Veröffentlicht 1990

Communicating sequential processes

von Hoare, Charles A. R.
Veröffentlicht 1991

Assertions : a personal perspective

von Hoare, Charles A. R.
Veröffentlicht in IEEE annals of the history of computing / publ. by the IEEE Computer Society (2003)

Developments in concurrency and communication

Veröffentlicht 1990

A calculus of total correctness for communicating processes

von Hoare, Charles A. R.
Veröffentlicht 1981

Communicating sequential processes

von Hoare, Charles A. R.
Veröffentlicht 1985

A model for communicating sequential processes

von Hoare, Charles A. R.
Veröffentlicht 1981

Mechanized reasoning and hardware design : a discussion ; (meeting held at the Royal Society on 3 and 4 October 1991)

Veröffentlicht 1992

Mechanized reasoning and hardware design : a discussion

Veröffentlicht 1992

Communicating sequential processes

von Hoare, Charles A. R.
Veröffentlicht 1985

The Mathematics of programming : An inaugural lecture delivered before the University of Oxford, 17.10.1985

von Hoare, Charles A. R.
Veröffentlicht 1986

Communicating sequential processes

von Hoare, Charles A. R.
Veröffentlicht 1985

Developments in concurrency and communication

Veröffentlicht 1990

Mathematical logic and programming languages

Veröffentlicht 1986

Unifying theories of programming

von Hoare, Charles A. R.
Veröffentlicht 1998

Partial correctness of communicating processes and protocols

von Zhou, Chaochen
Veröffentlicht 1981

Unifying theories of programming

von Hoare, Charles A. R.
Veröffentlicht 1998

Specification-oriented semantics for communicating processes

von Olderog, Ernst-Rüdiger
Veröffentlicht 1985

Solving scientific problems on multiprocessors

Veröffentlicht 1988