Autonomous Units and Their Semantics – The Concurrent Case
From MaRDI portal
Publication:3059708
DOI10.1007/978-3-642-17322-6_6zbMath1309.68138OpenAlexW1560192432MaRDI 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
Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
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
This page was built for publication: Autonomous Units and Their Semantics – The Concurrent Case