Uffe Engberg

According to our database, Uffe Engberg authored at least 7 papers between 1988 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

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

Uffe Engberg, Mogens Nielsen

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1997

Completeness Results for Linear Logic on Petri Nets.

Uffe Engberg, Glynn Winskel

Ann. Pure Appl. Log., 1997

1995

Efficient Simplification of Bisimulation Formulas.

Uffe Engberg, Kim S. Larsen

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

1993

Linear Logic on Petri Nets.

Uffe Engberg, Glynn Winskel

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

1991

Failures Semantics for a Simple Process Language with Refinement.

Luca Aceto, Uffe Engberg

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991

1990

Petri Nets as Models of Linear Logic.

Uffe Engberg, Glynn Winskel

Proceedings of the CAAP '90, 1990

1988

Fully abstract models for a process language with refinement.

Mogens Nielsen, Uffe Engberg, Kim S. Larsen

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988