The following pages link to TLA (Q16618):
Displaying 28 items.
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917) (← links)
- How to write a 21\(^{\text{st}}\) century proof (Q692371) (← links)
- Variability encoding: from compile-time to load-time variability (Q898607) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Engineering and theoretical underpinnings of retrenchment (Q997238) (← links)
- XL: An XML programming language for web service specification and composition. (Q1398899) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Real-time system = discrete system + clock variables (Q1856191) (← links)
- Predicate transformers for reasoning about concurrent computation (Q1893538) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- (Q2738289) (← links)
- (Q2753703) (← links)
- (Q2771059) (← links)
- What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms (Q3179167) (← links)
- The Temporal Logic of Rewriting: A Gentle Introduction (Q3507374) (← links)
- (Q4256654) (← links)
- (Q4326390) (← links)
- (Q4417820) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)
- Computer Aided Verification (Q5312909) (← links)
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (Q5370906) (← links)
- Rule-Based Refinement of Petri Nets: A Survey (Q5392161) (← links)
- Computer Aided Verification (Q5716566) (← links)
- Minha: Large-scale distributed systems testing made practical (Q5874238) (← links)
- (Q5874250) (← links)
- csp2B: A practical approach to combining CSP and B (Q5938702) (← links)
- SCTL-MUS: A formal methodology for software development of distributed systems. A case study (Q5949548) (← links)
