Engberg, Uffe
-
DAIMI Report Series Nr. 307 (1990): PB-307 Partial orders and fully abstract models for concurrency - Articles
Partial orders and fully abstract models for concurrency
Resumé PDF (English) -
DAIMI Report Series Nr. 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)
Resumé PDF (English) -
DAIMI Report Series Nr. 301 (1990): PB-301 Petri Nets as Models of Linear Logic - Articles
Petri Nets as Models of Linear Logic
Resumé PDF (English) -
DAIMI Report Series Nr. 435 (1993): PB-435 Completeness Results for Linear Logic on Petri Nets - Articles
Completeness Results for Linear Logic on Petri Nets
Resumé PDF (English) -
DAIMI Report Series Nr. 308 (1990): PB-308 True concurrency can be traced - Articles
True concurrency can be traced
Resumé PDF (English) -
DAIMI Report Series Nr. 208 (1986): PB-208 A Calculus of Communicating Systems with Label Passing - Articles
A Calculus of Communicating Systems with Label Passing
Resumé PDF (English)