Categorical logic of concurrency and interaction I. synchronous processes (1994)

by D Pavlovic
Venue:In: Theory and Formal Methods of Computing