Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Engberg, Uffe"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Linear logic on Petri nets
Uffe Engberg
,
Glynn Winskel
Lecture Notes in Computer Science
803
, 1994, pp. 176-229
Completeness results for linear logic on Petri nets
Uffe Engberg
,
Glynn Winskel
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(GdaĆsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 442-452
Failures semantics for a simple process language with refinement
Luca Aceto
,
Uffe Engberg
Lecture Notes in Computer Science
560
, 1991, pp. 89-108