Local Bigraphs and Confluence: Two Conjectures
From MaRDI portal
Publication:2866344
DOI10.1016/j.entcs.2006.07.035zbMath1277.68197WikidataQ123165446 ScholiaQ123165446MaRDI QIDQ2866344
Publication date: 13 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.2006.07.035
68R10: Graph theory (including graph drawing) in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
RPO, Second-Order Contexts, and λ-Calculus, A prismoid framework for languages with resources, Reactive systems, (semi-)saturated semantics and coalgebras on presheaves, The Prismoid of Resources, Reactive Systems, Barbed Semantics, and the Mobile Ambients