Figure 5 - available via license: Creative Commons Attribution-ShareAlike 4.0 International
Content may be subject to copyright.
Download
View publication
Sequence of automata diagrams following Fig. 4, Lines 1-12 (for Legend see Fig. 6)

Sequence of automata diagrams following Fig. 4, Lines 1-12 (for Legend see Fig. 6)

Source publication
Figure 2: Flowchart of Lynch's reliable 2-bit half-duplex protocol
Figure 3: Automata of the Lynch protocol
Figure 4: Sequence of messages and errors (based on Fig. 2 in [22])
Figure 5: Sequence of automata diagrams following Fig. 4, Lines 1-12...
+11 Figure 7: Flowchart of reliable AB 1-bit protocol
Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA+
Preprint
Full-text available
  • Jan 2023
The main aim of this report is to provide an introductory tutorial on the Abstract State Machines (ASM) specification method for software engineering to an audience already familiar with the Temporal Logic of Actions (TLA+) method. The report asks to what extent the ASM and TLA+ methods are complementary in checking specifications against stated re...
Cite
Download full-text

Context in source publication

Context 1
... example, Fig. 16 demonstrates how the default behaviour for the type Color is defined in a way that makes it possible to derive the colour opposite to the current one. Furthermore, we can see that a trait Amount is defined and the implementation of that trait for Color specifies the color-to-amount mapping. ...