Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion. Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers. Volume 3844 of Lecture Notes in Computer Science, pages 39-47, Springer, 2005. [doi]
@inproceedings{RassePMT05,
title = {Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models},
author = {Alban Rasse and Jean-Marc Perronne and Pierre-Alain Muller and Bernard Thirion},
year = {2005},
doi = {10.1007/11663430_5},
url = {http://dx.doi.org/10.1007/11663430_5},
tags = {process algebra, UML, object-role modeling, algebra, process modeling},
researchr = {https://researchr.org/publication/RassePMT05},
cites = {0},
citedby = {0},
pages = {39-47},
booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers},
editor = {Jean-Michel Bruel},
volume = {3844},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-31780-5},
}