| 2008 |
|---|
| 89 | EE | Gérard Boudol,
Ilaria Castellani,
Matthew Hennessy,
Mogens Nielsen,
Glynn Winskel:
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.
Concurrency, Graphs and Models 2008: 757-777 |
| 88 | EE | Jonathan Hayman,
Glynn Winskel:
The unfolding of general Petri nets.
FSTTCS 2008 |
| 87 | EE | Jonathan Hayman,
Glynn Winskel:
Independence and Concurrent Separation Logic
CoRR abs/0802.0820: (2008) |
| 2007 |
|---|
| 86 | EE | Glynn Winskel:
Symmetry and Concurrency.
CALCO 2007: 40-64 |
| 85 | EE | Luca Cardelli,
Marcelo P. Fiore,
Glynn Winskel:
Preface.
Electr. Notes Theor. Comput. Sci. 172: 1-4 (2007) |
| 84 | EE | Glynn Winskel:
Event Structures with Symmetry.
Electr. Notes Theor. Comput. Sci. 172: 611-652 (2007) |
| 83 | EE | Lucy Saunders-Evans,
Glynn Winskel:
Event Structure Spans for Nondeterministic Dataflow.
Electr. Notes Theor. Comput. Sci. 175(3): 109-129 (2007) |
| 2006 |
|---|
| 82 | EE | Jonathan Hayman,
Glynn Winskel:
Independence and Concurrent Separation Logic.
LICS 2006: 147-156 |
| 81 | EE | Daniele Varacca,
Glynn Winskel:
Distributing probability over non-determinism.
Mathematical Structures in Computer Science 16(1): 87-113 (2006) |
| 80 | EE | Daniele Varacca,
Hagen Völzer,
Glynn Winskel:
Probabilistic event structures and domains.
Theor. Comput. Sci. 358(2-3): 173-199 (2006) |
| 2005 |
|---|
| 79 | EE | Glynn Winskel:
Relations in Concurrency.
LICS 2005: 2-11 |
| 78 | EE | Glynn Winskel:
Name Generation and Linearity.
LICS 2005: 301-310 |
| 77 | EE | Federico Crazzolara,
Glynn Winskel:
Petri Nets With Persistence.
Electr. Notes Theor. Comput. Sci. 121: 143-155 (2005) |
| 76 | EE | Mario Cáccamo,
Glynn Winskel:
Limit Preservation from Naturality.
Electr. Notes Theor. Comput. Sci. 122: 3-22 (2005) |
| 75 | EE | Gian Luca Cattani,
Glynn Winskel:
Profunctors, open maps and bisimulation.
Mathematical Structures in Computer Science 15(3): 553-614 (2005) |
| 2004 |
|---|
| 74 | EE | Daniele Varacca,
Hagen Völzer,
Glynn Winskel:
Probabilistic Event Structures and Domains.
CONCUR 2004: 481-496 |
| 73 | | Glynn Winskel,
Francesco Zappa Nardelli:
New-HOPLA: A Higher-order Process Language with Name Generation.
IFIP TCS 2004: 521-534 |
| 72 | EE | Thomas T. Hildebrandt,
Prakash Panangaden,
Glynn Winskel:
A relational model of non-deterministic dataflow.
Mathematical Structures in Computer Science 14(5): 613-649 (2004) |
| 71 | EE | Mikkel Nygaard,
Glynn Winskel:
Domain theory for concurrency.
Theor. Comput. Sci. 316(1): 153-190 (2004) |
| 2003 |
|---|
| 70 | EE | Mikkel Nygaard,
Glynn Winskel:
Full Abstraction for HOPLA.
CONCUR 2003: 378-392 |
| 69 | EE | Gian Luca Cattani,
Glynn Winskel:
Presheaf models for CCS-like languages.
Theor. Comput. Sci. 300(1-3): 47-89 (2003) |
| 2002 |
|---|
| 68 | EE | Mikkel Nygaard,
Glynn Winskel:
HOPLA-A Higher-Order Process Language.
CONCUR 2002: 434-448 |
| 67 | | Glynn Winskel:
Calculus for categories.
FICS 2002: 1 |
| 66 | EE | Federico Crazzolara,
Glynn Winskel:
Composing Strand Spaces.
FSTTCS 2002: 97-108 |
| 65 | EE | Mikkel Nygaard,
Glynn Winskel:
Linearity in Process Languages.
LICS 2002: 433- |
| 64 | EE | Glynn Winskel:
Guest Editorial.
Inf. Comput. 179(2): 151 (2002) |
| 2001 |
|---|
| 63 | EE | Federico Crazzolara,
Glynn Winskel:
Events in security protocols.
ACM Conference on Computer and Communications Security 2001: 96-105 |
| 62 | | Federico Crazzolara,
Glynn Winskel:
Petri nets in cryptographic protocols.
IPDPS 2001: 149 |
| 61 | EE | Mario Cáccamo,
Glynn Winskel:
A Higher-Order Calculus for Categories.
TPHOLs 2001: 136-153 |
| 2000 |
|---|
| 60 | | Pierre-Louis Curien,
Gordon D. Plotkin,
Glynn Winskel:
Bistructures, bidomains, and linear logic.
Proof, Language, and Interaction 2000: 21-54 |
| 59 | | Carsten Butz,
Ulrich Kohlenbach,
Søren Riis,
Glynn Winskel:
Preface.
Ann. Pure Appl. Logic 104(1-3): 1-2 (2000) |
| 1999 |
|---|
| 58 | EE | Glynn Winskel:
Event Structures as Presheaves -Two Representation Theorems.
CONCUR 1999: 541-556 |
| 57 | EE | Marcelo P. Fiore,
Gian Luca Cattani,
Glynn Winskel:
Weak Bisimulation and Open Maps.
LICS 1999: 67-76 |
| 1998 |
|---|
| 56 | | Kim Guldstrand Larsen,
Sven Skyum,
Glynn Winskel:
Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings
Springer 1998 |
| 55 | EE | Glynn Winskel:
A Linear Metalanguage for Concurrency.
AMAST 1998: 42-58 |
| 54 | EE | Gian Luca Cattani,
John Power,
Glynn Winskel:
A Categorical Axiomatics for Bisimulation.
CONCUR 1998: 581-596 |
| 53 | EE | Thomas T. Hildebrandt,
Prakash Panangaden,
Glynn Winskel:
A Relational Model of Non-deterministic Dataflow.
CONCUR 1998: 613-628 |
| 52 | | Gian Luca Cattani,
Marcelo P. Fiore,
Glynn Winskel:
A Theory of Recursive Domains with Applications to Concurrency.
LICS 1998: 214-225 |
| 1997 |
|---|
| 51 | | Gian Luca Cattani,
Ian Stark,
Glynn Winskel:
Presheaf Models for the pi-Calculus.
Category Theory and Computer Science 1997: 106-126 |
| 50 | | Uffe Engberg,
Glynn Winskel:
Completeness Results for Linear Logic on Petri Nets.
Ann. Pure Appl. Logic 86(2): 101-135 (1997) |
| 49 | EE | Glynn Winskel:
An Operational Understanding of Bisimulation from Open Maps.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 1996 |
|---|
| 48 | | Glynn Winskel:
A Presheaf Semantics of Value-Passing Processes.
CONCUR 1996: 98-114 |
| 47 | | Gian Luca Cattani,
Glynn Winskel:
Presheaf Models for Concurrency.
CSL 1996: 58-75 |
| 46 | | André Joyal,
Mogens Nielsen,
Glynn Winskel:
Bisimulation from Open Maps.
Inf. Comput. 127(2): 164-185 (1996) |
| 45 | EE | Mogens Nielsen,
Glynn Winskel:
Petri Nets and Bisimulation.
Theor. Comput. Sci. 153(1&2): 211-244 (1996) |
| 44 | EE | Vladimiro Sassone,
Mogens Nielsen,
Glynn Winskel:
Models for Concurrency: Towards a Classification.
Theor. Comput. Sci. 170(1-2): 297-348 (1996) |
| 1995 |
|---|
| 43 | | Juanito Camilleri,
Glynn Winskel:
CCS with Priority Choice
Inf. Comput. 116(1): 26-37 (1995) |
| 1994 |
|---|
| 42 | | Gordon D. Plotkin,
Glynn Winskel:
Bistructures, Bidomains and Linear Logic.
ICALP 1994: 352-363 |
| 41 | | Henrik Reif Andersen,
Colin Stirling,
Glynn Winskel:
A Compositional Proof System for the Modal mu-Calculus
LICS 1994: 144-153 |
| 40 | | Glynn Winskel:
Stable Bistructure Models of PCF.
MFCS 1994: 177-197 |
| 1993 |
|---|
| 39 | | Vladimiro Sassone,
Mogens Nielsen,
Glynn Winskel:
A Classification of Models for Concurrency.
CONCUR 1993: 82-96 |
| 38 | | André Joyal,
Mogens Nielsen,
Glynn Winskel:
Bisimulation and open maps
LICS 1993: 418-427 |
| 37 | | Uffe Engberg,
Glynn Winskel:
Completeness Results for Linear Logic on Petri Nets.
MFCS 1993: 442-452 |
| 36 | | Vladimiro Sassone,
Mogens Nielsen,
Glynn Winskel:
Deterministic Behavioural Models for Concurrency.
MFCS 1993: 682-692 |
| 35 | | Uffe Engberg,
Glynn Winskel:
Linear Logic on Petri Nets.
REX School/Symposium 1993: 176-229 |
| 34 | | Mogens Nielsen,
Vladimiro Sassone,
Glynn Winskel:
Relationships Between Models of Concurrency.
REX School/Symposium 1993: 425-476 |
| 1992 |
|---|
| 33 | | Henrik Reif Andersen,
Glynn Winskel:
Compositional Checking of Satsfaction.
Formal Methods in System Design 1(4): 323-354 (1992) |
| 1991 |
|---|
| 32 | | Henrik Reif Andersen,
Glynn Winskel:
Compositional Checking of Satisfaction.
CAV 1991: 24-36 |
| 31 | | Glynn Winskel:
Petri Nets and Transition Systems (Abstract for an invited talk).
FSTTCS 1991: 420 |
| 30 | | Juanito Camilleri,
Glynn Winskel:
CCS with Priority Choice
LICS 1991: 246-255 |
| 29 | | Kim Guldstrand Larsen,
Glynn Winskel:
Using Information Systems to Solve Recursive Domain Equations
Inf. Comput. 91(2): 232-258 (1991) |
| 28 | | Glynn Winskel:
A Note on Model Checking the Modal nu-Calculus.
Theor. Comput. Sci. 83(1): 157-167 (1991) |
| 1990 |
|---|
| 27 | | Uffe Engberg,
Glynn Winskel:
Petri Nets as Models of Linear Logic.
CAAP 1990: 147-161 |
| 26 | | Glynn Winskel:
On the Compositional Checking of Validity (Extended Abstract).
CONCUR 1990: 481-501 |
| 25 | | Glynn Winskel:
A Compositional Proof System on a Category of Labelled Transition Systems
Inf. Comput. 87(1/2): 2-57 (1990) |
| 1989 |
|---|
| 24 | | Glynn Winskel:
A Note on Model Checking the Modal nu-Calculus.
ICALP 1989: 761-772 |
| 23 | | Thierry Coquand,
Carl A. Gunter,
Glynn Winskel:
Domain Theoretic Models of Polymorphism
Inf. Comput. 81(2): 123-167 (1989) |
| 1988 |
|---|
| 22 | | Glynn Winskel:
A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract)
LICS 1988: 142-154 |
| 21 | | Glynn Winskel:
An introduction to event structures.
REX Workshop 1988: 364-397 |
| 1987 |
|---|
| 20 | | Glynn Winskel:
Relating Two Models of Hardware.
Category Theory and Computer Science 1987: 98-113 |
| 19 | | Thierry Coquand,
Carl A. Gunter,
Glynn Winskel:
DI-Domains as a Model of Polymorphism.
MFPS 1987: 344-363 |
| 18 | | Glynn Winskel:
Petri Nets, Algebras, Morphisms, and Compositionality
Inf. Comput. 72(3): 197-238 (1987) |
| 1986 |
|---|
| 17 | | Glynn Winskel:
Event Structures.
Advances in Petri Nets 1986: 325-392 |
| 1985 |
|---|
| 16 | | Stephen D. Brookes,
A. W. Roscoe,
Glynn Winskel:
Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984
Springer 1985 |
| 15 | | Glynn Winskel:
Petri nets, morphisms and compositionality.
Applications and Theory in Petri Nets 1985: 453-477 |
| 14 | | Glynn Winskel:
Category Theory and Models for Parallel Computation.
CTCS 1985: 266-281 |
| 13 | | Glynn Winskel:
A Complete System for SCCS with Modal Assertions.
FSTTCS 1985: 392-410 |
| 12 | | Glynn Winskel:
On Powerdomains and Modality.
Theor. Comput. Sci. 36: 127-137 (1985) |
| 1984 |
|---|
| 11 | | Glynn Winskel:
A New Definition of Morphism on Petri Nets.
STACS 1984: 140-150 |
| 10 | | Glynn Winskel,
Kim Guldstrand Larsen:
Using Information Systems to Solve Recursive Domain Equations Effectively.
Semantics of Data Types 1984: 109-129 |
| 9 | | Glynn Winskel:
Categories of Models for Concurrency.
Seminar on Concurrency 1984: 246-267 |
| 8 | | Glynn Winskel:
On the Composition and Decomposition of Assertions.
Seminar on Concurrency 1984: 62-75 |
| 7 | | Glynn Winskel:
Synchronization Trees.
Theor. Comput. Sci. 34: 33-82 (1984) |
| 1983 |
|---|
| 6 | | Glynn Winskel:
A Note on Powerdomains and Modalitiy.
FCT 1983: 505-514 |
| 5 | | Glynn Winskel:
Synchronisation Trees.
ICALP 1983: 695-711 |
| 1982 |
|---|
| 4 | | Glynn Winskel:
Event Structure Semantics for CCS and Related Languages.
ICALP 1982: 561-576 |
| 1981 |
|---|
| 3 | | Glynn Winskel:
An Exercise in Processes with Infinite Pasts.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 88-95 |
| 2 | | Mogens Nielsen,
Gordon D. Plotkin,
Glynn Winskel:
Petri Nets, Event Structures and Domains, Part I.
Theor. Comput. Sci. 13: 85-108 (1981) |
| 1979 |
|---|
| 1 | | Mogens Nielsen,
Gordon D. Plotkin,
Glynn Winskel:
Petri Nets, Event Structures and Domains.
Semantics of Concurrent Computation 1979: 266-284 |
