Skip to main content

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