The following pages link to Colin Stirling (Q578895):
Displayed 44 items.
- Item:Q578895 (redirect page) (← links)
- Modal logics for communicating systems (Q578896) (← links)
- Robin Milner: 13 January 1934-20 March 2010 (Q607410) (← links)
- A fair calculus of communicating systems (Q793508) (← links)
- A proof-theoretic characterization of observational equivalence (Q1060006) (← links)
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language (Q1107518) (← links)
- Local model checking for infinite state spaces (Q1190489) (← links)
- Decidability of bisimulation equivalence for normed pushdown processes (Q1276237) (← links)
- Discontinuous modelling of masonry bridges (Q1419998) (← links)
- Weak and strong fairness in CCS (Q1822489) (← links)
- (Q2753669) (← links)
- (Q2760241) (← links)
- (Q2769443) (← links)
- Model-Checking Games for Typed λ-Calculi (Q2864164) (← links)
- (Q3059185) (← links)
- Model Checking Games for Branching Time Logics (Q3146304) (← links)
- (Q3221398) (← links)
- (Q3326820) (← links)
- (Q3343420) (← links)
- Decidability of higher-order matching (Q3395096) (← links)
- A Game-Theoretic Approach to Deciding Higher-Order Matching (Q3591409) (← links)
- Dependency Tree Automata (Q3617723) (← links)
- (Q3666267) (← links)
- (Q3677160) (← links)
- The power of the future perfect in program logics (Q3704887) (← links)
- (Q3707371) (← links)
- (Q3727371) (← links)
- (Q3815279) (← links)
- Actions speak louder than words: proving bisimilarity for context-free processes (Q4209294) (← links)
- (Q4218096) (← links)
- Bisimulation, modal logic and model checking games (Q4238502) (← links)
- (Q4440830) (← links)
- (Q4474205) (← links)
- (Q4733387) (← links)
- (Q4737211) (← links)
- (Q4738230) (← links)
- (Q4779172) (← links)
- (Q4994684) (← links)
- Proof Systems for Retracts in Simply Typed Lambda Calculus (Q5327450) (← links)
- Computer Science Logic (Q5394573) (← links)
- Bisimulation and logic (Q5411963) (← links)
- Second-Order Simple Grammars (Q5756608) (← links)
- Decidability of DPDA equivalence (Q5941060) (← links)
- Decidability of bisimulation equivalence for normed pushdown processes (Q6104375) (← links)