The following pages link to UNITY (Q25375):
Displaying 28 items.
- Property preserving abstractions under parallel composition (Q5044770) (← links)
- Generic systolic arrays: A methodology for systolic design (Q5044777) (← links)
- On the correctness of a distributed memory Gröbner basis algorithm (Q5055786) (← links)
- Adaptive solutions to the mutual exclusion problem (Q5136975) (← links)
- Naming symmetric processes using shared variables (Q5136976) (← links)
- Wait-free linearization with an assertional proof (Q5136979) (← links)
- Wait-free linearization with a mechanical proof (Q5137000) (← links)
- A fast, scalable mutual exclusion algorithm (Q5137004) (← links)
- Knowledge-based programs (Q5137342) (← links)
- Automatic verification for a class of distributed systems (Q5137900) (← links)
- A note on knowledge-based programs and specifications (Q5137901) (← links)
- Asynchronous group mutual exclusion (Q5137904) (← links)
- Safety assurance via on-line monitoring (Q5138497) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Automatic Verification of Bossa Scheduler Properties (Q5178992) (← links)
- Interfaces between languages for communicating systems (Q5204354) (← links)
- Program composition via unification (Q5204356) (← links)
- Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348) (← links)
- Towards a Combination of CafeOBJ and PAT (Q5403071) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)
- An Algebraic Approach to Refinement with Fair Choice (Q5403463) (← links)
- Mechanizing UNITY in Isabelle (Q5738896) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Packet efficient implementation of the Omega failure detector (Q5918188) (← links)
- Ensuring completeness of symbolic verification methods for infinite-state systems (Q5941104) (← links)
- Linearization in parallel pCRL (Q5946027) (← links)
- Partial correctness for probabilistic demonic programs (Q5958768) (← links)
- A pragmatic behavior subtyping relation based on both states and actions (Q5959362) (← links)
