Hochschulschrift
Description and verification of mobile processes with graph rewriting techniques
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
222 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
München, Techn. Univ., Diss., 1999
- Schlagwort
-
Prozessalgebra
Hypergraph
Graphersetzungssystem
Verifikation
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 13:48 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Symbolic rewriting techniques
Static verification techniques for attributed graph transformations
Static Verification Techniques for Attributed Graph Transformations
Infinite graphs generated by tree rewriting
Efficient graph rewriting and its implementation
A Compass to Controlled Graph Rewriting
Infinite graphs generated by tree rewriting
On termination of single pushout graph rewriting
Learning and Rewriting in Fuzzy Rule Graphs
A term rewriting technique for decision graphs
Rewriting techniques and applications : 10th international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Symbolic rewriting techniques
Static verification techniques for attributed graph transformations
Static Verification Techniques for Attributed Graph Transformations
Infinite graphs generated by tree rewriting
Efficient graph rewriting and its implementation
A Compass to Controlled Graph Rewriting
Infinite graphs generated by tree rewriting
On termination of single pushout graph rewriting
Learning and Rewriting in Fuzzy Rule Graphs
A term rewriting technique for decision graphs
Rewriting techniques and applications : 10th international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Symbolic rewriting techniques
Static verification techniques for attributed graph transformations
Static Verification Techniques for Attributed Graph Transformations
Infinite graphs generated by tree rewriting
Efficient graph rewriting and its implementation
A Compass to Controlled Graph Rewriting
Infinite graphs generated by tree rewriting
On termination of single pushout graph rewriting
Learning and Rewriting in Fuzzy Rule Graphs
A term rewriting technique for decision graphs
Rewriting techniques and applications : 10th international conference ; proceedings