Adhesive DPO Parallelism for Monic Matches
From MaRDI portal
Publication:2867888
DOI10.1016/j.entcs.2007.04.016zbMath1278.68214OpenAlexW2139680569MaRDI QIDQ2867888
Tobias Heindel, Filippo Bonchi
Publication date: 20 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.04.016
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Concurrent bisimulations in Petri nets
- Double-pushout graph transformation revisited
- Foundations of Software Science and Computation Structures
- Adhesive and quasiadhesive categories
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Foundations of Software Science and Computation Structures