The following pages link to Linearization in parallel pCRL (Q5946027):
Displaying 12 items.
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- An abstract interpretation toolkit for \(\mu\)CRL (Q883139) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- Equivalence of recursive specifications in process algebra (Q1607118) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Linear forwarders (Q2384926) (← links)
- Linearized inversion: a significant step beyond pre-stack migration (Q3212443) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)
- On the Use of Linear Combination in PWCP-Nets (Q4957392) (← links)
- A case in point: verification and testing of a EULYNX interface (Q6610254) (← links)