Bibliography

Linear Logic Based Calculi for Object Petri Nets

Berndt Farwer.
Linear Logic Based Calculi for Object Petri Nets.
Logos Verlag, ISBN 3-89722-539-5, Berlin, Vogt-Kölln Str. 30, D-22527 Hamburg, 2000.

BibTeX

@book{Farwer00b,
        Author             = {Farwer, Berndt},
        ADDRESS            = FBIUniAdresse,
        SCHOOL             = FBIUniHHbis2005,
        Keywords           = {linear logic},
        Publisher          = {Logos Verlag, ISBN 3-89722-539-5, Berlin},
        Title              = {Linear Logic Based Calculi for Object {Petri} Nets},
        TYPE               = dissertation,
        Year               = 2000
}