Pages that link to "Item:Q1854357"
From MaRDI portal
The following pages link to Model-checking of correctness conditions for concurrent objects (Q1854357):
Displaying 26 items.
- Abstraction for concurrent objects (Q615951) (← links)
- Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← links)
- TSO-to-TSO linearizability is undecidable (Q1629746) (← links)
- On reducing linearizability to state reachability (Q1641012) (← links)
- Model checking concurrency and causality (Q1662535) (← links)
- Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract) (Q1664155) (← links)
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- Verification and refinement with fine-grained action-based concurrent objects (Q1770367) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- Testing and verifying concurrent objects (Q1803302) (← links)
- Spiking neural P systems: matrix representation and formal verification (Q1983014) (← links)
- On the correctness problem for serializability (Q2119957) (← links)
- Static analysis for detecting high-level races in RTOS kernels (Q2147701) (← links)
- On the complexity of linearizability (Q2218465) (← links)
- Concurrent correctness in vector space (Q2234067) (← links)
- Model checking transactional memories (Q2377134) (← links)
- The F-Snapshot Problem (Q2835024) (← links)
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency (Q2988639) (← links)
- Deciding Robustness against Total Store Ordering (Q3012938) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Decidability and Complexity for Quiescent Consistency (Q4635867) (← links)
- (Q5111629) (← links)
- Quantifiability: a concurrent correctness condition modeled in vector space (Q6161035) (← links)
- Static analysis for detecting high-level races in RTOS kernels (Q6535959) (← links)
