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

Group by: Item Type | Date | No Grouping

Number of items: 1.

Conference or workshop item

Sheriff, A. and Cavalcanti, A.L.C. and Moura, H. (2002) An Action Semantics for Timed CSPm. In: Proceedings of the 6th Brazilian Symposium on Programming Languages, June 5-7, 2002, Rio de Janeiro. The full text of this publication is not available from this repository.

This list was generated on Wed Jun 19 08:22:04 2013 BST.