Categorical logic of concurrency and interaction I. Synchronous processes
Main Author: | Pavlovic, D |
---|---|
Format: | Conference item |
Published: |
World Scientific
1995
|
Similar Items
-
Categorical logic of names and abstraction in action calculus
by: Pavlovic, D
Published: (1997) -
A Categorical Quantum Logic
by: Abramsky, S, et al.
Published: (2006) -
Introduction to categories and categorical logic
by: Abramsky, S, et al.
Published: (2010) -
A Categorical Quantum Logic
by: Abramsky, S, et al.
Published: (2006) -
A Categorical Quantum Logic
by: Abramsky, S, et al.
Published: (2004)