Logical models of objects and of processes

Communicating sequential processes

Communicating sequential processes

Algebraic theory of processes

Algebraic theory of processes

Topology via logic

Topology via logic

Category theory for computing science

Category theory for computing science

Aspects of computation

CSC '91 Proceedings of the 19th annual conference on Computer Science

Automata, Languages, and Machines

Automata, Languages, and Machines

Automata, Languages, and Machines

Automata, Languages, and Machines