Two complete axiom systems for a theory of communicating sequential processes
Two complete axiom systems for a theory of communicating sequential processes
Rocco De Nicola
Details
OL Work ID
OL9078380W
Find this book
Open Library