Login / Signup

Concurrency and Computability.

Philippe Darondeau
Published in: Semantics of Systems of Concurrent Processes (1990)
Keyphrases