Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
In: Algebra and coalgebra in computer science : second international conference, CALCO 2007 - International Conference on Algebra and Coalgebra in Computer Science (CALCO), August 20-24, 2007, Bergen, Norway - Springer, 2007, S. 126 - 142
2007Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Titel in Englisch:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Autor*in:
Baldan, Paolo;Corradini, Andrea;Ehrig, Hartmut;Heckel, Reiko;König, BarbaraUDE
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
- 0000-0002-4193-2889
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Scopus ID
Sprache des Textes:
Englisch