Autonomous Units and Their Semantics - The Parallel Case

DOI10.1007/978-3-540-71998-4_4zbMATH Open1196.68158OpenAlexW1587874729MaRDI QIDQ3591063FDOQ3591063

Authors: Sabine Kuske, Hans-Jörg Kreowski 

Publication date: 10 September 2007

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71998-4_4

Recommendations

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

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)

Cited In (7)

• Autonomous units to model interacting sequential and parallel processes
• Autonomous Units and Their Semantics — The Sequential Case
• Title not available (Why is that?)
• Autonomous units and their semantics -- the concurrent case
• Formal Methods in Software and Systems Modeling
• Graph Transformation Units – An Overview
• Title not available (Why is that?)

This page was built for publication: Autonomous Units and Their Semantics - The Parallel Case

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