The following pages link to (Q4680195):
Displaying 15 items.
- Reactive computing as model generation (Q264957) (← links)
- Can abstract state machines be useful in language theory? (Q880169) (← links)
- The computable kernel of abstract state machines (Q959826) (← links)
- Proving properties of the Chord protocol using the ASM formalism (Q1757159) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Abstract state machines and computationally complete query languages (Q1854519) (← links)
- (Q2753700) (← links)
- Abstract effective models (Q2851702) (← links)
- Refinements in Typed Abstract State Machines (Q3401956) (← links)
- (Q4413693) (← links)
- (Q4520494) (← links)
- (Q4520496) (← links)
- (Q4783310) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)
- Foundations of Information and Knowledge Systems (Q5901857) (← links)