Information Technology Reference
In-Depth Information
14. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the
construction and analysis of distributed processes. In: Damm, W., Hermanns, H.
(eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
15. Glabbeek, R.v., Weijland, W.: Branching time and abstraction in bisimulation
semantics (extended abstract). In Ritter, G., ed.: Information Processing 89, Pro-
ceedings of the IFIP 11th World Computer Congress, San Fransisco 1989, North-
Holland (1989) 613-618 Full version in
Jounal of the ACM
43(3), 1996, pp. 555-600.
16. Park, D.: Concurrency and automata on infinite sequences. In: Proceedings of the
5th GI-Conference on Theoretical Computer Science, London, UK, pp. 167-183.
Springer, Heidelberg (1981)
17. Westerlund, T., Seceleanu, T.: An UML profile for action systems. Technical Report
581, Turku Centre for Computing Science (December 2003)
18. Fekih, H., Ayed, L.J.B., Merz, S.: Transformation of B specifications into UML
class diagrams and state machines. In: Proceedings of the 2006 ACM Symposium
on Applied Computing, SAC 2006, pp. 1840-1844. ACM, New York (2006)
