Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899089
DOI10.1007/11690634zbMath1180.68165MaRDI QIDQ5899089
Barbara König, Tobias Heindel, Paweł Sobociński, Paolo Baldan, Andrea Corradini
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11690634
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
Related Items
Unnamed Item, Subobject transformation systems, Adhesive DPO Parallelism for Monic Matches, Unfolding Grammars in Adhesive Categories, Unfolding Graph Transformation Systems: Theory and Applications to Verification, Workshop on Petri Nets and Graph Transformations, Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions