Pages that link to "Item:Q805251"
From MaRDI portal
The following pages link to The existence of refinement mappings (Q805251):
Displaying 50 items.
- Layout randomization and nondeterminism (Q265789) (← links)
- Mutex needs fairness (Q287028) (← links)
- A distributed resource allocation algorithm for many processes (Q378202) (← links)
- Combining decision procedures by (model-)equality propagation (Q436376) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- Heterogeneous and asynchronous networks of timed systems (Q505453) (← links)
- Queue based mutual exclusion with linearly bounded overtaking (Q532419) (← links)
- Automated verification and refinement for physical-layer protocols (Q539420) (← links)
- Simulation refinement for concurrency verification (Q541209) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- The mailbox problem (Q661002) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (Q671674) (← links)
- Approximately satisfied properties of systems and simple language homomorphisms (Q673348) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- Verification of a multiprocessor cache protocol using simulation relations and higher-order logic (Q685110) (← links)
- Automatic analysis of DMA races using model checking and \(k\)-induction (Q763238) (← links)
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Nonatomic dual bakery algorithm with bounded tokens (Q766163) (← links)
- Linearizability on hardware weak memory models (Q782494) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Progress in certifying hardware model checking results (Q832275) (← links)
- Invariance under stuttering in a temporal logic of actions (Q859839) (← links)
- A general lock-free algorithm using compare-and-swap (Q865625) (← links)
- A criterion for atomicity revisited (Q884994) (← links)
- Verifying atomic data types (Q914403) (← links)
- Network invariants for real-time systems (Q1019007) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- Specifying modules to satisfy interfaces: A state transition system approach (Q1193606) (← links)
- Critique of the Lake Arrowhead three (Q1193607) (← links)
- Using mappings to prove timing properties (Q1200918) (← links)
- Liveness in timed and untimed systems (Q1271471) (← links)
- Formal verification of a programming logic for a distributed programming language (Q1285659) (← links)
- A formal theory of simulations between infinite automata (Q1309253) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Property preserving abstractions for the verification of concurrent systems (Q1346649) (← links)
- Two implementation relations and the correctness of communicating replicated processes (Q1362771) (← links)
- A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
- Verification, refinement and scheduling of real-time programs (Q1589590) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- Dynamic hierarchical reactive controller synthesis (Q1693821) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Finite and infinite implementation of transition systems (Q1758157) (← links)
