 | 2002 |
|---|
| 9 |       | Mogens Nielsen,
Uffe Engberg:
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
Springer 2002 |
| 2000 |
|---|
| 8 | | Uffe Engberg,
Mogens Nielsen:
A calculus of communicating systems with label passing - ten years after.
Proof, Language, and Interaction 2000: 599-622 |
| 1997 |
|---|
| 7 | | Uffe Engberg,
Glynn Winskel:
Completeness Results for Linear Logic on Petri Nets.
Ann. Pure Appl. Logic 86(2): 101-135 (1997) |
| 1995 |
|---|
| 6 | | Uffe Engberg,
Kim S. Larsen:
Efficient Simplification of Bisimulation Formulas.
TACAS 1995: 111-132 |
| 1993 |
|---|
| 5 |  | Uffe Engberg,
Glynn Winskel:
Completeness Results for Linear Logic on Petri Nets.
MFCS 1993: 442-452 |
| 4 | | Uffe Engberg,
Glynn Winskel:
Linear Logic on Petri Nets.
REX School/Symposium 1993: 176-229 |
| 1991 |
|---|
| 3 | | Luca Aceto,
Uffe Engberg:
Failures Semantics for a Simple Process Language with Refinement.
FSTTCS 1991: 89-108 |
| 1990 |
|---|
| 2 | | Uffe Engberg,
Glynn Winskel:
Petri Nets as Models of Linear Logic.
CAAP 1990: 147-161 |
| 1988 |
|---|
| 1 | | Mogens Nielsen,
Uffe Engberg,
Kim S. Larsen:
Fully abstract models for a process language with refinement.
REX Workshop 1988: 523-548 |
