A timed model for communicating sequential processes (1986)

by G Reed, A Roscoe
Venue:in Automata, Languages and Programming