Autonomous units to model interacting sequential and parallel processes

MaRDI QIDQ3638000zbMATH OpenFDO

Authors Karsten Hölscher, Sabine Kuske, Hans-Jörg Kreowski

Publication date 14 July 2009

zbMATH Keywords

autonomous unitsformal semanticsgraph transformation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Autonomous Units and Their Semantics — The Sequential Case
• Autonomous units and their semantics -- the concurrent case
• Autonomous Units and Their Semantics - The Parallel Case
• scientific article; zbMATH DE number 2104630
• Interacting Automata for Modelling Distributed Systems

Cited in

(5)

• A case study on the graph-transformational modeling and analysis of puzzles
• Autonomous units and their semantics -- the concurrent case
• Autonomous Units and Their Semantics — The Sequential Case
• Autonomous Units and Their Semantics - The Parallel Case
• scientific article; zbMATH DE number 2104630 (Why is no real title available?)

This page was built for publication: Autonomous units to model interacting sequential and parallel processes

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