Login / Signup

Semantics of Nondeterminism, Concurrency, and Communication.

Nissim FrancezC. A. R. HoareDaniel J. LehmannWillem P. de Roever
Published in: J. Comput. Syst. Sci. (1979)
Keyphrases