Pages that link to "Item:Q5901601"
From MaRDI portal
The following pages link to Abstract State Machines 2004. Advances in Theory and Practice (Q5901601):
Displaying 5 items.
- A logic for secure memory access of abstract state machines (Q555787) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- Perspectives of System Informatics (Q5902421) (← links)