Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models.

Alban Rasse Jean-Marc Perronne Pierre-Alain Muller Bernard Thirion Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models. 39-47 2005 conf/uml/2005se MoDELS Satellite Events http://dx.doi.org/10.1007/11663430_5 db/conf/uml/models2005se.html#RassePMT05