Sign in

A Temporal Calculus of Communicating Systems.

Faron MollerChris M. N. Tofts
Published in: CONCUR (1990)
Keyphrases