A Timed Model for Communicating Sequential Processes (1988)
by
G. M. Reed
,
A. W. Roscoe L
| Venue: | Theoretical Computer Science |
| Citations: | 142 - 7 self |







