Login / Signup

Script: A Communication Abstraction Mechanism and its Verification.

Nissim FrancezBrent HailpernGadi Taubenfeld
Published in: Logics and Models of Concurrent Systems (1984)
Keyphrases