Pages that link to "Item:Q555787"
From MaRDI portal
The following pages link to A logic for secure memory access of abstract state machines (Q555787):
Displaying 4 items.
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- Formal specification and verification of the C\(\#\) thread model (Q2571209) (← links)
- Towards a Logic for Abstract MetaFinite State Machines (Q5445311) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901601) (← links)