Login / Signup

Two-way Channel with Disconnect.

Vaughan R. Pratt
Published in: The Analysis of Concurrent Systems (1983)
Keyphrases