The following pages link to FDR3 (Q24316):
Displaying 26 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Computing maximal weak and other bisimulations (Q510897) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Tracking CSP computations (Q1633350) (← links)
- Extended dependency graphs and efficient distributed fixed-point computation (Q1662534) (← links)
- Compositional and local livelock analysis for CSP (Q1705697) (← links)
- The symbiosis of concurrency and verification: teaching and case studies (Q1707345) (← links)
- Reducing complex CSP models to traces via priority (Q1744391) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- Discovering and correcting a deadlock in a channel implementation (Q2322306) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047) (← links)
- The expressiveness of CSP with priority (Q2520703) (← links)
- CSP and Kripke Structures (Q2787446) (← links)
- Symbolic Analysis Tools for CSP (Q2938170) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- Behavioural Models for FMI Co-simulations (Q3179405) (← links)
- The Automatic Detection of Token Structures and Invariants Using SAT Checking (Q3303932) (← links)
- Principled Software Development (Q4558903) (← links)
- Refinement-Based Verification of Communicating Unstructured Code (Q4571128) (← links)
- FDR3 — A Modern Refinement Checker for CSP (Q5498738) (← links)
- (Q5856411) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
