Categorical logic of concurrency and interaction I. Synchronous processes
Dusko Pavlovic
Book Title
Theory and Formal Methods of Computing 94
Editor
C. Hankin et al.
Pages
105–141
Publisher
World Scientific
Year
1995
Dusko Pavlovic