Winskel, Glynn
-
BRICS Report Series Nr. 31 (1998): RS-31 A Linear Metalanguage for Concurrency - Artikler
A Linear Metalanguage for Concurrency
Resumé PDF (English) -
BRICS Report Series Nr. 21 (2004): RS-21 New-HOPLA--A Higher-Order Process Language with Name Generation - Artikler
New-HOPLA--A Higher-Order Process Language with Name Generation
Resumé PDF (English) -
BRICS Report Series Nr. 1 (1994): RS-1 Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk - Artikler
Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk
Resumé PDF (English) -
BRICS Report Series Nr. 12 (1994): RS-12 Models for Concurrency - Artikler
Models for Concurrency
Resumé PDF (English) -
BRICS Report Series Nr. 13 (1994): RS-13 Stable Bistructure Models of PCF - Artikler
Stable Bistructure Models of PCF
Resumé PDF (English) -
BRICS Report Series Nr. 7 (1999): RS-7 Event Structures as Presheaves —Two Representation Theorems - Artikler
Event Structures as Presheaves —Two Representation Theorems
Resumé PDF (English) -
BRICS Report Series Nr. 44 (1996): RS-44 A Presheaf Semantics of Value-Passing Processes - Artikler
A Presheaf Semantics of Value-Passing Processes
Resumé PDF (English) -
BRICS Report Series Nr. 43 (2003): RS-43 Domain Theory for Concurrency - Artikler
Domain Theory for Concurrency
Resumé PDF (English) -
BRICS Report Series Nr. 4 (1995): RS-04 Petri Nets and Bisimulations - Artikler
Petri Nets and Bisimulations
Resumé PDF (English) -
BRICS Report Series Nr. 15 (1994): RS-15 Petri Nets and Bisimulations - Artikler
Petri Nets and Bisimulations
Resumé PDF (English) -
BRICS Report Series Nr. 18 (2000): RS-18 Language, Semantics, and Methods for Cryptographic Protocols - Artikler
Language, Semantics, and Methods for Cryptographic Protocols
Resumé PDF (English) -
BRICS Report Series Nr. 13 (2001): RS-13 Events in Security Protocols - Artikler
Events in Security Protocols
Resumé PDF (English) -
BRICS Report Series Nr. 9 (1994): RS-9 Bistructures, Bidomains and Linear Logic - Artikler
Bistructures, Bidomains and Linear Logic
Resumé PDF (English) -
BRICS Report Series Nr. 3 (1994): RS-3 Linear Logic on Petri Nets - Artikler
Linear Logic on Petri Nets
Resumé PDF (English) -
BRICS Report Series Nr. 5 (2002): RS-5 Composing Strand Spaces - Artikler
Composing Strand Spaces
Resumé PDF (English) -
BRICS Report Series Nr. 27 (2001): RS-27 A Higher-Order Calculus for Categories - Artikler
A Higher-Order Calculus for Categories
Resumé PDF (English) -
BRICS Report Series Nr. 48 (2002): RS-48 Linearity in Process Languages - Artikler
Linearity in Process Languages
Resumé PDF (English) -
BRICS Report Series Nr. 49 (2002): RS-49 HOPLA--A Higher-Order Process Language - Artikler
HOPLA--A Higher-Order Process Language
Resumé PDF (English) -
BRICS Report Series Nr. 42 (2003): RS-42 Full Abstraction for HOPLA - Artikler
Full Abstraction for HOPLA
Resumé PDF (English) -
BRICS Report Series Nr. 22 (2004): RS-22 Profunctors, Open Maps and Bisimulation - Artikler
Profunctors, Open Maps and Bisimulation
Resumé PDF (English) -
BRICS Report Series Nr. 35 (1996): RS-35 Presheaf Models for Concurrency - Artikler
Presheaf Models for Concurrency
Resumé PDF (English) -
BRICS Report Series Nr. 36 (1999): RS-36 Presheaf Models for CCS-like Languages - Artikler
Presheaf Models for CCS-like Languages
Resumé PDF (English) -
BRICS Report Series Nr. 22 (1998): RS-22 A Categorical Axiomatics for Bisimulation - Artikler
A Categorical Axiomatics for Bisimulation
Resumé PDF (English) -
BRICS Report Series Nr. 21 (1998): RS-21 A Representation Result for Free Cocompletions - Artikler
A Representation Result for Free Cocompletions
Resumé PDF (English) -
BRICS Report Series Nr. 15 (1997): RS-15 Bistructures, Bidomains and Linear Logic - Artikler
Bistructures, Bidomains and Linear Logic
Resumé PDF (English) -
BRICS Report Series Nr. 14 (1999): RS-14 Weak Bisimulation and Open Maps - Artikler
Weak Bisimulation and Open Maps
Resumé PDF (English) -
BRICS Report Series Nr. 7 (1994): RS-7 Bisimulation from Open Maps - Artikler
Bisimulation from Open Maps
Resumé PDF (English) -
BRICS Report Series Nr. 10 (2004): RS-10 Probabilistic Event Structures and Domains - Artikler
Probabilistic Event Structures and Domains
Resumé PDF (English) -
BRICS Report Series Nr. 40 (1998): RS-40 A Compositional Proof System for the Modal mu-Calculus - Artikler
A Compositional Proof System for the Modal mu-Calculus
Resumé PDF (English) -
BRICS Report Series Nr. 34 (1997): RS-34 Presheaf Models for the pi-Calculus - Artikler
Presheaf Models for the pi-Calculus
Resumé PDF (English) -
BRICS Report Series Nr. 34 (1994): RS-34 A Compositional Proof System for the Modal mu-Calculus - Artikler
A Compositional Proof System for the Modal mu-Calculus
Resumé PDF (English) -
BRICS Report Series Nr. 36 (1997): RS-36 Relational Semantics of Non-Deterministic Dataflow - Artikler
Relational Semantics of Non-Deterministic Dataflow
Resumé PDF (English) -
BRICS Report Series Nr. 35 (1997): RS-35 A Theory of Recursive Domains with Applications to Concurrency - Artikler
A Theory of Recursive Domains with Applications to Concurrency
Resumé PDF (English)