Colin Stirling
4 published titles
Modal and temporal logics
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Actions speak louder than words : proving bisimilarity for context-free processes
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Bisimulation equivalence is decidable for all context-free processes
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Modal and temporal logics for processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
