Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 2.
Briscoe-Smith, C. (2000) Behavioural Subtyping in Process Algebra. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (Full text available) |
Bowman, Howard and Briscoe-Smith, C. and Derrick, John and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, Howard and Derrick, John, eds. FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4. (Full text available) |