Fully abstract models for a process language with refinement. - Mogens Nielsen; Uffe Engberg; Kim S. Larsen (REX Workshop, 1988)

Petri Nets as Models of Linear Logic. - Uffe Engberg; Glynn Winskel (CAAP, 1990)

Failures Semantics for a Simple Process Language with Refinement. - Luca Aceto; Uffe Engberg (FSTTCS, 1991)

Linear Logic on Petri Nets. - Uffe Engberg; Glynn Winskel (REX School/Symposium, 1993)

Efficient Simplification of Bisimulation Formulas. - Uffe Engberg; Kim S. Larsen (TACAS, 1995)

Completeness Results for Linear Logic on Petri Nets. - Uffe Engberg; Glynn Winskel (Ann. Pure Appl. Log., 1997)

A calculus of communicating systems with label passing - ten years after. - Uffe Engberg; Mogens Nielsen (Proof, Language, and Interaction, 2000)