
Search the dblp DataBase
Uffe Engberg:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Uffe Engberg, Glynn Winskel
Petri Nets as Models of Linear Logic. [Citation Graph (0, 0)][DBLP] CAAP, 1990, pp:147161 [Conf]
 Luca Aceto, Uffe Engberg
Failures Semantics for a Simple Process Language with Refinement. [Citation Graph (0, 0)][DBLP] FSTTCS, 1991, pp:89108 [Conf]
 Uffe Engberg, Glynn Winskel
Completeness Results for Linear Logic on Petri Nets. [Citation Graph (0, 0)][DBLP] MFCS, 1993, pp:442452 [Conf]
 Mogens Nielsen, Uffe Engberg, Kim S. Larsen
Fully abstract models for a process language with refinement. [Citation Graph (0, 0)][DBLP] REX Workshop, 1988, pp:523548 [Conf]
 Uffe Engberg, Glynn Winskel
Linear Logic on Petri Nets. [Citation Graph (0, 0)][DBLP] REX School/Symposium, 1993, pp:176229 [Conf]
 Uffe Engberg, Kim S. Larsen
Efficient Simplification of Bisimulation Formulas. [Citation Graph (0, 0)][DBLP] TACAS, 1995, pp:111132 [Conf]
 Uffe Engberg, Glynn Winskel
Completeness Results for Linear Logic on Petri Nets. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:86, n:2, pp:101135 [Journal]
A calculus of communicating systems with label passing  ten years after. [Citation Graph (, )][DBLP]
Search in 0.028secs, Finished in 0.029secs
