Login / Signup

The Temporal Semantics of Concurrent Programs.

Amir Pnueli
Published in: Semantics of Concurrent Computation (1979)
Keyphrases