@inproceedings{HoffmannEtAl04a,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Hoffmann, Kathrin and Parisi-Presicce, Francesco and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2639a3ff736d0ca9461fba296dcce5753/tillmo},
  booktitle = {Workshop on Petri Nets and Graph Transformations},
  interhash = {2669e225a2e4ca0e6c7cb08b159da060},
  intrahash = {639a3ff736d0ca9461fba296dcce5753},
  isbn = {1571-0661},
  keywords = {imported},
  number = 2,
  pages = {87-105},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/mainPNGT04.ps},
  publisher = {Elsevier Science; http://www.elsevier.nl/},
  series = {Electronic Notes in Theoretical Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Higher-order nets for mobile policies},
  volume = 127,
  year = 2005
}