Pages that link to "Item:Q1941888"
From MaRDI portal
The following pages link to The safety-critical Java memory model formalised (Q1941888):
Displaying 15 items.
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Scoped types and aspects for real-time Java memory management (Q995820) (← links)
- A Ravenscar-compliant run-time kernel for safety-critical systems (Q1395684) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- (Q2722012) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- Java Memory Model-Aware Model Checking (Q2894274) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- (Q4413677) (← links)
- The Java Memory Model: Operationally, Denotationally, Axiomatically (Q5756503) (← links)
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency (Q6561342) (← links)