A semantics for distributed execution of Statemate

DOI10.1007/S00165-003-0015-4zbMATH Open1093.68599OpenAlexW2058666896MaRDI QIDQ706501FDOQ706501

Authors: Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm 

Publication date: 8 February 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-003-0015-4

Recommendations

• scientific article; zbMATH DE number 1544531
• scientific article; zbMATH DE number 139805
• scientific article; zbMATH DE number 5997232
• Fundamental Approaches to Software Engineering
• Reconciling statechart semantics

zbMATH Keywords

Distributed systemsSemanticsStatemate

Mathematics Subject Classification ID

Distributed systems (68M14) Semantics in the theory of computing (68Q55)

Cited In (2)

• A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
• Reconciling statechart semantics

This page was built for publication: A semantics for distributed execution of Statemate

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