TGI

Education

Misc

• Petri Nets World
  

Bibliography

Linear Logic Based Calculi for Object Petri Nets

Berndt Farwer.
Linear Logic Based Calculi for Object Petri Nets.
PhD thesis, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1999.

---

BibTeX

@phdthesis{Farwer99,
  Address = FBIUniAdresse,
  Author = {Farwer, Berndt},
  Keywords = {linear logic},
  School = FBIUniHHbis2005,
  Title = {Linear Logic Based Calculi for Object {Petri} Nets},
  Year = 1999
}

---