The following pages link to CONCUR 2005 – Concurrency Theory (Q5897473):
Displaying 9 items.
- Towards verification of computation orchestration (Q736807) (← links)
- Model checking mobile processes (Q1817220) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- On the expressivity of minimal generic quantification (Q2804937) (← links)
- A proof search specification of the \(\pi\)-calculus (Q2848670) (← links)
- (Q5111441) (← links)
- A Proof Theoretic Approach to Operational Semantics (Q5262970) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)