A semantics for distributed execution of Statemate

DOI10.1007/S00165-003-0015-4MaRDI QIDQ706501zbMATHOpenAlexFDO

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

zbMATH Keywords

Distributed systemsSemanticsStatemate

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

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)