Autonomous Units and Their Semantics — The Sequential Case

DOI10.1007/11841883_18MaRDI QIDQ3541963zbMATH OpenOpenAlexFDO

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

Publication date 27 November 2008

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

Full work available at URL https://doi.org/10.1007/11841883_18

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) 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 to model interacting sequential and parallel processes
• Autonomous units and their semantics -- the concurrent case
• Autonomous Units and Their Semantics - The Parallel Case
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 2104630

Cited in

(6)

• Autonomous units and their semantics -- the concurrent case
• Graph Transformation Units – An Overview
• Autonomous Units and Their Semantics - The Parallel Case
• Autonomous units to model interacting sequential and parallel processes
• scientific article; zbMATH DE number 7456049 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling

This page was built for publication: Autonomous Units and Their Semantics — The Sequential Case

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