Glenn Bruns
6 published titles
The formalization and analysis of a communications protocol
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
A language for value-passing CCS
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
A case study in safety-critical design
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Applying process refinement to a safety-relevant system
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Trapping mutual exclusion in the box calculus
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Distributed systems analysis with CCS
1 edition
- ISBN: 0133983897
- Prentice Hall
- 1997
- Details
