Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Conference or workshop item | Thesis
Number of items: 2.

Conference or workshop item

Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, H. and Derrick, J., eds. Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4 .
[img] [img]
Preview

Thesis

Briscoe-Smith, C. (2000) Behavioural Subtyping in Process Algebra. Doctor of Philosophy (Ph.D.) thesis, University of Kent at Canterbury.
[img]

This list was generated on Wed Jun 19 04:48:38 2013 BST.
University of Kent | About this repository | Feedback | Latest additions