Autonomous Units and Their Semantics – The Concurrent Case
From MaRDI portal
Publication:3059708
DOI10.1007/978-3-642-17322-6_6zbMath1309.68138MaRDI QIDQ3059708
Sabine Kuske, Hans-Joerg Kreowski
Publication date: 26 November 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17322-6_6
68R10: Graph theory (including graph drawing) in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
Cites Work
- Unnamed Item
- Formal agent-oriented modeling with UML and graph transformation
- Graph transformation units with interleaving semantics
- Graph transformation for specification and programming
- Autonomous Units and Their Semantics — The Sequential Case
- Autonomous Units and Their Semantics - The Parallel Case
- Handbook of Graph Grammars and Computing by Graph Transformation
- Handbook of Graph Grammars and Computing by Graph Transformation
- Objects, Agents, and Features