Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions

DOI10.1007/978-3-540-87405-8_44zbMath1175.68225OpenAlexW1558368779MaRDI QIDQ3540428

Frank Hermann

Publication date: 20 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_44

Mathematics Subject Classification ID

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

Cites Work

• Subobject transformation systems
• Fundamentals of algebraic graph transformation
• Parallelism and concurrency in high-level replacement systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computation Structures
• Unnamed Item
• Unnamed Item

This page was built for publication: Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions