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
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 Wed Apr 23 19:07:20 2014 BST.