Pages that link to "Item:Q1783738"
From MaRDI portal
The following pages link to A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738):
Displaying 11 items.
- A logic for secure memory access of abstract state machines (Q555787) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- Computation on structures. Behavioural theory, logic, complexity (Q2117601) (← links)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
- (Q2807087) (redirect page) (← links)
- CDCL-Based Abstract State Transition System for Coherent Logic (Q2907328) (← links)
- (Q4530473) (← links)
- (Q4783310) (← links)
- A Logic for Reflective ASMs (Q5040368) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
- A complete fragment of LTL(EB) (Q6630198) (← links)