Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Monograph | Conference or workshop item
Number of items: 7.
Monograph
| Schneider, Steve A. and Bryans, Jeremy W. and Davies, Jim (1994) A Failures Semantics for ET-LOTOS. Technical report. , Presented at the COST 247 - WG 6.1 working group meeting in Brighton (Full text available) |
|
| Bryans, Jeremy W. and Davies, Jim and Schneider, Steve A. (1994) Real-time CSP and ET-LOTOS. Technical report. Reading University, Presented at the COST 247 WG 6.1 working group meeting in Brighton (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Conference or workshop item
| UNSPECIFIED (2000) Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of computing). In: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Woodcock, Jim and Davies, Jim and Bolton, Christie (2000) Abstract Data Types and Processes. In: Roscoe, A.W. and Davies, Jim and Woodcock, Jim, eds. Proceedings of the Symposium in Honour of CAR Hoare. pp. 391-405. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Derrick, John and Boiten, Eerke Albert (1999) Non-atomic refinement in Z. In: 1st World Congress on Formal Methods in the Development of Computing Systems (FM 99), SEP 20-24, 1999, Toulouse, France. (doi:https://doi.org/10.1007/3-540-48118-4_28) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Davies, Jim and Bryans, Jeremy W. and Schneider, Steve A. (1996) Real-time LOSTOS and Timed Observations. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bryans, Jeremy W. and Davies, Jim and Schneider, Steve A. (1995) Towards a Denotational Semantics for Timed LOTOS. In: Lecture Notes in Computer Science. Springer-Verlag Berlin (doi:https://doi.org/10.1007/3-540-60218-6_20) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
