Engberg, Uffe

• DAIMI Report Series No. 307 (1990): PB-307 Partial orders and fully abstract models for concurrency - Articles
  Partial orders and fully abstract models for concurrency
  Abstract  PDF
• DAIMI Report Series No. 308 (1990): PB-308 True concurrency can be traced - Articles
  True concurrency can be traced
  Abstract  PDF
• DAIMI Report Series No. 392 (1992): PB-392 Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24) - Articles
  Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24)
  Abstract  PDF
• DAIMI Report Series No. 301 (1990): PB-301 Petri Nets as Models of Linear Logic - Articles
  Petri Nets as Models of Linear Logic
  Abstract  PDF
• DAIMI Report Series No. 208 (1986): PB-208 A Calculus of Communicating Systems with Label Passing - Articles
  A Calculus of Communicating Systems with Label Passing
  Abstract  PDF
• DAIMI Report Series No. 435 (1993): PB-435 Completeness Results for Linear Logic on Petri Nets - Articles
  Completeness Results for Linear Logic on Petri Nets
  Abstract  PDF