Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMath1180.68165OpenAlexW2504714231MaRDI 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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (7)

Unfolding Grammars in Adhesive Categories ⋮ Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ Unnamed Item ⋮ Workshop on Petri Nets and Graph Transformations ⋮ Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions ⋮ Subobject transformation systems ⋮ Adhesive DPO Parallelism for Monic Matches

This page was built for publication: Foundations of Software Science and Computation Structures