The following pages link to (Q4024005):
Displaying 30 items.
- Simulation refinement for concurrency verification (Q541209) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- Fine-grained concurrency with separation logic (Q763473) (← links)
- Delay-bounded scheduling without delay! (Q832185) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
- Concurrency and knowledge-level communication in agent languages (Q1274547) (← links)
- Formal verification of a programming logic for a distributed programming language (Q1285659) (← links)
- A structured approach for developing concurrent programs in Java (Q1285677) (← links)
- Completed double layer boundary element algorithm in many-body problems for a multi-processor: An implementation on the \(CM-5\) (Q1346074) (← links)
- Fairness in shared invocation servicing (Q1398337) (← links)
- Data-race and concurrent-write freedom are undecidable. (Q1399005) (← links)
- The essence of parallel Algol. (Q1400721) (← links)
- A minimal property for characterizing deadlock-free programs (Q1603421) (← links)
- Partial predicate abstraction and counter-example guided refinement (Q2291815) (← links)
- Bounded model checking of infinite state systems (Q2369883) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- Fast and scalable rendezvousing (Q2441532) (← links)
- Angelic semantics of fine-grained concurrency (Q2474441) (← links)
- Real-time verification techniques for untimed systems (Q2703729) (← links)
- (Q3122691) (← links)
- (Q3727356) (← links)
- (Q3992668) (← links)
- (Q4222882) (← links)
- Combining Predicate Abstraction with Fixpoint Approximations (Q4571129) (← links)
- Using atomic await commands to develop concurrent programs in Java (Q4798473) (← links)
- Transfer Principles for Reasoning About Concurrent Programs (Q4917047) (← links)
- Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism (Q5179049) (← links)
- Simple concurrent garbage collection almost without synchronization (Q5962117) (← links)
