Categorical logic of concurrency and interaction I. Synchronous processes

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)