The following pages link to (Q2753665):
Displaying 7 items.
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Semantic essence of AsmL (Q2571205) (← links)
- (Q4267174) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901599) (← links)