Michael Köhler and Heiko Rölke.
Dynamic transition refinement.
In Proceedings of the Workshop on Foundations of Coordination
Languages and Software Architectures (FOCLASA), Technical Report ITI-06-07,
Department of Computer Science, University of Málaga, pages 117-132,
2006.
@InProceedings{Koehler+06b, author = {K{\"o}hler, Michael and R{\"o}lke, Heiko}, title = {Dynamic Transition Refinement}, booktitle = {Proceedings of the Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA), Technical Report ITI-06-07, Department of Computer Science, University of M{\'a}laga}, pages = {117--132}, editors = {Carlos Canal and Mirko Viroli}, year = 2006 }