Cláudio Carvilhe

	2009
4		André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante: An Implementation of Object-Oriented Action Semantics in Maude. Semantics and Algebraic Specification 2009: 81-105
	2008
3		André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante: Maude Object-Oriented Action Tool. Electr. Notes Theor. Comput. Sci. 205: 105-121 (2008)
	2007
2		André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante: Using Visitor Patterns in Object-Oriented Action Semantics. J. UCS 13(6): 891-919 (2007)
	2003
1		Cláudio Carvilhe, Martin A. Musicante: Object-Oriented Action Semantics Specifications. J. UCS 9(8): 910-934 (2003)

Coauthor Index

1	André Murbach Maidl	[2] [3] [4]
2	Martin A. Musicante	[1] [2] [3] [4]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page