Login / Signup

Modeling Concurrency with Geometry.

Vaughan R. Pratt
Published in: POPL (1991)
Keyphrases