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.

2002

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)

2001

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)

2000

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 Tue Jun 10 18:21:59 2014 BST.