A Timed Model for Communicating Sequential Processes (1988)

by G M Reed, A W Roscoe
Venue:Theoretical Computer Science