Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
From MaRDI portal
Publication:3184683
DOI10.1007/978-3-642-04081-8_22zbMath1254.68171MaRDI QIDQ3184683
Richard Garner, Aurélien Pardon, Tom Hirschowitz
Publication date: 22 October 2009
Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04081-8_22
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work
- Linear logic
- A calculus of mobile processes. II
- The structure of multiplicatives
- Mobile ambients
- \(\pi\)-calculus in (Co)inductive-type theory
- GS·Λ Theories
- Modules over Monads and Linearity
- Double categories: a modular model of multiplicative linear logic
- RPO, Second-Order Contexts, and λ-Calculus
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item