Date: 2004-01-13 10:32:24

Formal methods

Process calculus

Denotational semantics

Algebra of Communicating Processes

Communicating sequential processes

Algebraic structure

Universal algebra

Construction and Analysis of Distributed Processes

Calculus of communicating systems

Process calculi

Theoretical computer science

Mathematics

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 177,49 KB