Research output per year
Research output per year
Search results
-
1994
Linear Logic on Petri Nets
Engberg, U. H. & Winskel, G., 1994, RS-94-3 in Report Series ed. University of Aarhus: BRICS. 54 p.Research output: Book/anthology/report › Report › Research
9 Citations (Scopus) -
1993
Completeness Results for Linear Logic on Petri Nets
Engberg, U. H. & Winskel, G., 1993, 34 p. (Daimi Report; No. PB-435).Research output: Book/anthology/report › Report › Research
4 Citations (Scopus) -
1991
Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21-24)
Engberg, U. H. (Editor), Nielsen, M. (Editor) & Winskel, G. (Editor), 1991, Department of Computer Science, Aarhus University. 13 p. (DAIMI PB; No. 392).Research output: Book/anthology/report › Report › Research
-
1990
Petri Nets as Models of Linear Logic
Engberg, U. H. & Winskel, G., 1990, 24 p. (Daimi Report; No. PB-301).Research output: Book/anthology/report › Report › Research
35 Citations (Scopus) -
True Concurrency can be Traced
Engberg, U. H., 1990, 62 p. (Daimi Report; No. PB-308).Research output: Book/anthology/report › Report › Research
-
1986
A Calculus of Communicating Systems with Label Passing
Engberg, U. H. & Nielsen, M., 1986, Aarhus Universitetsforlag. 38 p. (DAIMI PB; No. 208).Research output: Book/anthology/report › Report › Research