A term model for synchronous processes (1981)

by M Hennessy
Venue:Information and Control