Linear Logic on Petri Nets

Uffe Henrik Engberg; Glynn Winskel

Linear Logic on Petri Nets

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	REX School/Symposium : A Decade of Concurrency, Reflections and Perspectives
Redaktører	J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
Forlag	Springer LNCS
Publikationsdato	1993
Sider	176-229
ISBN (Trykt)	3-540-58043-3
Status	Udgivet - 1993
Begivenhed	A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium - Noordwijkerhout, Holland Varighed: 1 jun. 1993 → 4 jun. 1993

Konference

Konference	A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Land/Område	Holland
By	Noordwijkerhout
Periode	01/06/1993 → 04/06/1993

Navn	Lecture Notes in Computer Science
Vol/bind	803

Tjek tilgængelighed hos det Kgl. Bibliotek

Citationsformater

@inproceedings{604ba770958611dd868b000ea68e967b,

title = "Linear Logic on Petri Nets",

author = "Engberg, {Uffe Henrik} and Glynn Winskel",

year = "1993",

language = "English",

isbn = "3-540-58043-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer LNCS",

pages = "176--229",

editor = "{de Bakker}, {J. W.} and {de Roever}, {Willem P.} and Grzegorz Rozenberg",

booktitle = "REX School/Symposium",

note = "A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium ; Conference date: 01-06-1993 Through 04-06-1993",

}

Engberg, UH & Winskel, G 1993, Linear Logic on Petri Nets. i JW de Bakker, WP de Roever & G Rozenberg (red), REX School/Symposium: A Decade of Concurrency, Reflections and Perspectives. Springer LNCS, Lecture Notes in Computer Science, bind 803, s. 176-229, A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, Holland, 01/06/1993.

Linear Logic on Petri Nets. / Engberg, Uffe Henrik; Winskel, Glynn.
REX School/Symposium: A Decade of Concurrency, Reflections and Perspectives. red. / J. W. de Bakker; Willem P. de Roever; Grzegorz Rozenberg. Springer LNCS, 1993. s. 176-229 (Lecture Notes in Computer Science, Bind 803).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Linear Logic on Petri Nets

AU - Engberg, Uffe Henrik

AU - Winskel, Glynn

PY - 1993

Y1 - 1993

M3 - Article in proceedings

SN - 3-540-58043-3

T3 - Lecture Notes in Computer Science

SP - 176

EP - 229

BT - REX School/Symposium

A2 - de Bakker, J. W.

A2 - de Roever, Willem P.

A2 - Rozenberg, Grzegorz

PB - Springer LNCS

T2 - A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium

Y2 - 1 June 1993 through 4 June 1993

ER -