Searching for authors named Glynn Winskel – sorted by Relevance.
54 documents found, showing 1 through 10.
Next 10 →
-
A Presheaf Semantics of Value-Passing Processes
- …-passing processes Glynn Winskel BRICS* -- Computer Science Dept., University of Aarhus Abstract This paper…
- Cited by 31 (20 self) – Add To MetaCart
-
A Linear Metalanguage for Concurrency
- … Science A Linear Metalanguage for Concurrency Glynn Winskel BRICS Report Series RS-98-31 ISSN 0909…
- Cited by 10 (4 self) – Add To MetaCart
-
Linearity and nonlinearity in distributed computation
- …1 Linearity and nonlinearity in distributed computation Glynn Winskel Cambridge University…
- Cited by 1 (1 self) – Add To MetaCart
-
Stable Bistructure Models of PCF
- …BRICS Basic Research in Computer Science Stable Bistructure Models of PCF Glynn Winskel BRICS…
- Cited by 1 (1 self) – Add To MetaCart
-
Event structure semantics for CCS and related languages
- …. ~ - ~ ~ Q. ~ = ~ ~ ~ rIJ Glynn Winskel DAIMI pB-159 April 1983 Computer Science Department AARHUS UNIVERSITY…
- Cited by 49 (8 self) – Add To MetaCart
-
Event Structures as Presheaves - Two Representation Theorems
- … Research in Computer Science Event Structures as Presheaves ---Two Representation Theorems Glynn Winskel…
- Cited by 2 (0 self) – Add To MetaCart
-
Events in Security Protocols
- …Events in Security Protocols Federico Crazzolara # Glynn Winskel Computer Laboratory, University…
- Add To MetaCart
-
HOPLA - A Higher-Order Process Language
- …HOPLA|A Higher-Order Process Language Mikkel Nygaard 1 and Glynn Winskel 2 1 BRICS…
- Add To MetaCart
-
Event structures as presheaves---two representation theorems
- … Research in Computer Science Event Structures as Presheaves —Two Representation Theorems Glynn Winskel…
- Cited by 3 (2 self) – Add To MetaCart
-
HOPLA—a higher-order process language
- … HOPLA--A Higher-Order Process Language Mikkel Nygaard1 and Glynn Winskel2 1 BRICS?, University…
- Cited by 12 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
