Winskel, Glynn
-
DAIMI Report Series No. 463 (1993): PB-463 Models for Concurrency - Articles
Models for Concurrency
Abstract PDF -
DAIMI Report Series No. 279 (1989): PB-279 A Note on Model Cheking the Modal v-calculus - Articles
A Note on Model Cheking the Modal v-calculus
Abstract PDF -
DAIMI Report Series No. 278 (1989): PB-278 An Introduction to Event Structures - Articles
An Introduction to Event Structures
Abstract PDF -
DAIMI Report Series No. 294 (1989): PB-294 A Compositional Proof System on a Category of Labelled Transition Systems - Articles
A Compositional Proof System on a Category of Labelled Transition Systems
Abstract PDF -
DAIMI Report Series No. 324 (1990): PB-324 On the compositional checking of validity - Articles
On the compositional checking of validity
Abstract PDF -
DAIMI Report Series No. 429 (1992): PB-429 Models for Concurrency - Articles
Models for Concurrency
Abstract PDF -
DAIMI Report Series No. 397 (1992): PB-397 Proceedings of the CLICS Workshop: Part I og II - Articles
Proceedings of the CLICS Workshop: Part I og II
Abstract PDF -
DAIMI Report Series No. 340 (1990): PB-340 Proceedings of the Third HOL Users Meeting: Aarhus University, 1-2 October 1990 - Articles
Proceedings of the Third {HOL} Users Meeting: Aarhus University, 1-2 October 1990
Abstract PDF -
DAIMI Report Series No. 159 (1983): PB-159 Event Structure Semantics for CCS and Related Languages - Articles
Event Structure Semantics for CCS and Related Languages
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 -
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. 456 (1993): PB-456 Relationships between Models of Concurency - Articles
Relationships between Models of Concurency
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