Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
In: Proceedings of the Second International Conference of Algebra and Coalgebra in Computer Science (CALCO 2007). - (Lecture Notes in Computer Science ; 4624) - Springer, 2007, S. 126 - 142
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Autor(in):
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2007
Erschienen in:
Proceedings of the Second International Conference of Algebra and Coalgebra in Computer Science (CALCO 2007). - (Lecture Notes in Computer Science ; 4624) - Springer, 2007, S. 126 - 142
ISBN:
Link URL: