Autonomous units and their semantics -- the concurrent case

DOI10.1007/978-3-642-17322-6_6MaRDI QIDQ3059708zbMATH OpenOpenAlexFDO

Authors Sabine Kuske, Hans-Jörg 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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Autonomous Units and Their Semantics — The Sequential Case
• Autonomous Units and Their Semantics - The Parallel Case
• Autonomous units to model interacting sequential and parallel processes
• scientific article; zbMATH DE number 2016077
• Formal Methods in Software and Systems Modeling

Cites work

• Autonomous Units and Their Semantics - The Parallel Case
• Autonomous Units and Their Semantics — The Sequential Case
• Autonomous units to model interacting sequential and parallel processes
• Formal agent-oriented modeling with UML and graph transformation
• Graph transformation for specification and programming
• Graph transformation units with interleaving semantics
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Objects, Agents, and Features

Cited in

(3)

• Autonomous Units and Their Semantics — The Sequential Case
• Autonomous Units and Their Semantics - The Parallel Case
• Autonomous units to model interacting sequential and parallel processes

This page was built for publication: Autonomous units and their semantics -- the concurrent case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3059708)