Uffe Engberg

发表

Foundations of Software Science and Computation Structures

Mogens Nielsen, Uffe Engberg, 2002, Lecture Notes in Computer Science.

Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures

Mogens Nielsen, Uffe Engberg, 2002 .

Petri Nets as Models of Linear Logic

Glynn Winskel, Uffe Engberg, G. Winskel, 1990, CAAP.

Linear Logic on Petri Nets

Glynn Winskel, Uffe Engberg, G. Winskel, 1993, REX School/Symposium.

Efficient Simplification of Bisimulation Formulas

Kim S. Larsen, Uffe Engberg, 1995, TACAS.

Petri Nets as Models of Linear Logic

Glynn Winskel, Uffe Engberg, 1990 .

Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Mogens Nielsen, Uffe Engberg, Etaps, 2002 .

Failures Semantics for a Simple Process Language with Refinement

Luca Aceto, Uffe Engberg, L. Aceto, 1991, FSTTCS.

Completeness Results for Linear Logic on Petri Nets

Glynn Winskel, Uffe Engberg, 1997, Ann. Pure Appl. Log..

Fully abstract models for a process language with refinement

Kim S. Larsen, Mogens Nielsen, Uffe Engberg, 1988, REX Workshop.

True concurrency can be traced

Uffe Engberg, Uffe Engberg, 1990 .

Completeness Results for Linear Logic on Petri Nets

Glynn Winskel, Uffe Engberg, G. Winskel, 1993, Ann. Pure Appl. Log..

A calculus of communicating systems with label passing - ten years after

Mogens Nielsen, Uffe Engberg, 2000, Proof, Language, and Interaction.

Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24)

Glynn Winskel, Mogens Nielsen, Uffe Engberg, 1992 .

Linear Logic on Petri Nets

Glynn Winskel, Uffe Engberg, 1994 .

Completeness Results for Linear Logic on Petri Nets

Glynn Winskel, Uffe Engberg, 1993 .