Publikationer pr. år
Publikationer pr. år
- 6 resultater
Søgeresultater
-
1994
Linear Logic on Petri Nets
Engberg, U. H. & Winskel, G., 1994, RS-94-3 in Report Series udg. University of Aarhus: BRICS. 54 s.Publikation: Bog/antologi/rapport › Rapport › Forskning
9 Citationer (Scopus) -
1993
Completeness Results for Linear Logic on Petri Nets
Engberg, U. H. & Winskel, G., 1993, 34 s. (Daimi Report; Nr. PB-435).Publikation: Bog/antologi/rapport › Rapport › Forskning
4 Citationer (Scopus) -
1991
Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21-24)
Engberg, U. H. (Redaktør), Nielsen, M. (Redaktør) & Winskel, G. (Redaktør), 1991, Department of Computer Science, Aarhus University. 13 s. (DAIMI PB; Nr. 392).Publikation: Bog/antologi/rapport › Rapport › Forskning
-
1990
Petri Nets as Models of Linear Logic
Engberg, U. H. & Winskel, G., 1990, 24 s. (Daimi Report; Nr. PB-301).Publikation: Bog/antologi/rapport › Rapport › Forskning
35 Citationer (Scopus) -
True Concurrency can be Traced
Engberg, U. H., 1990, 62 s. (Daimi Report; Nr. PB-308).Publikation: Bog/antologi/rapport › Rapport › Forskning
-
1986
A Calculus of Communicating Systems with Label Passing
Engberg, U. H. & Nielsen, M., 1986, Aarhus Universitetsforlag. 38 s. (DAIMI PB; Nr. 208).Publikation: Bog/antologi/rapport › Rapport › Forskning