König, Barbara; Montanari, Ugo:
Observational Equivalence for Synchronized Graph Rewriting with Mobility
In: Theoretical aspects of computer software : 4th international symposium, TACS 2001 - 4th International Symposium on Theoretical Aspects of Computer Software (TACS), October 29 - 31, 2001, Sendai, Japan - Berlin: Springer, 2001 - (Lecture notes in computer science ; 2215), S. 145 - 164
2001Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Titel in Englisch:
Observational Equivalence for Synchronized Graph Rewriting with Mobility
Autor*in:
König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Montanari, Ugo
Sprache des Textes:
Englisch