Art der Veröffentlichung: |
Artikel in Konferenzband |
Autor: |
Kathrin Hoffmann, Francesco Parisi-Presicce, Till Mossakowski |
Titel: |
Higher-order nets for mobile policies |
Buch / Sammlungs-Titel: |
Workshop on Petri Nets and Graph Transformations |
Band: |
127 |
Seite(n): |
87 – 105 |
Serie / Reihe: |
Electronic Notes in Theoretical Computer Science |
Ausgabe: |
2 |
Erscheinungsjahr: |
2005 |
Verleger: |
Elsevier Science |
ISBN: |
1571-0661 |
PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/mainPNGT04.ps |
Status: |
Reviewed |
Letzte Aktualisierung: |
31. 01. 2006 |