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

Group by: Item Type | Date | No Grouping

Number of items: 3.

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.

Freitas, Leonardo and Cavalcanti, A.L.C. and Moura, H. (2001) Animating CSP(M) Using Action Semantics. In: 4th Brazilian Workshop on Formal Methods. The full text of this publication is not available from this repository.

Meneses, L.C.S. and Soares, S. and Meneses, J.B. and Moura, H. and Cavalcanti, A.L.C. (2000) A Framework for Defining Object-oriented Languages using Action Semantics. In: 4th Brazilian Symposium on Programming Languages. The full text of this publication is not available from this repository.

This list was generated on Mon May 20 07:08:06 2013 BST.