| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Glynn Winskel |
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information.  |
Logic and Program Semantics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Bicategories of Concurrent Games - (Invited Paper). |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Events, Causality and Symmetry. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvain Rideau, Glynn Winskel |
Concurrent Strategies. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Staton, Glynn Winskel |
On the Expressivity of Symmetry in Event Structures. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Prime algebraicity. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Turner, Glynn Winskel |
Nominal Domain Theory for Concurrency. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Hayman, Glynn Winskel |
Independence and Concurrent Separation Logic. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Hayman, Glynn Winskel |
Independence and Concurrent Separation Logic |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Glynn Winskel |
Events, Causality and Symmetry. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Hayman, Glynn Winskel |
The unfolding of general Petri nets. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucy Saunders-Evans, Glynn Winskel |
Event Structure Spans for Nondeterministic Dataflow. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Event Structures with Symmetry. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Marcelo P. Fiore, Glynn Winskel |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Symmetry and Concurrency. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
higher order processes, nondeterministic dataflow, higher dimensional automata, Petri nets, symmetry, unfolding, Event structures, spans, pseudo monads |
| 1 | Daniele Varacca, Hagen Völzer, Glynn Winskel |
Probabilistic event structures and domains. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Varacca, Glynn Winskel |
Distributing probability over non-determinism. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Hayman, Glynn Winskel |
Independence and Concurrent Separation Logic. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luca Cattani, Glynn Winskel |
Profunctors, open maps and bisimulation. |
Mathematical Structures in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Crazzolara, Glynn Winskel |
Petri Nets With Persistence. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Cáccamo, Glynn Winskel |
Limit Preservation from Naturality. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Name Generation and Linearity. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Relations in Concurrency. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikkel Nygaard, Glynn Winskel |
Domain theory for concurrency. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel |
A relational model of non-deterministic dataflow. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Varacca, Hagen Völzer, Glynn Winskel |
Probabilistic Event Structures and Domains. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel, Francesco Zappa Nardelli |
New-HOPLA: A Higher-order Process Language with Name Generation. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gian Luca Cattani, Glynn Winskel |
Presheaf models for CCS-like languages. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikkel Nygaard, Glynn Winskel |
Full Abstraction for HOPLA. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Guest Editorial. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikkel Nygaard, Glynn Winskel |
HOPLA-A Higher-Order Process Language. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Calculus for categories. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mikkel Nygaard, Glynn Winskel |
Linearity in Process Languages. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Crazzolara, Glynn Winskel |
Composing Strand Spaces. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Crazzolara, Glynn Winskel |
Petri nets in cryptographic protocols. |
IPDPS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mario Cáccamo, Glynn Winskel |
A Higher-Order Calculus for Categories. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Crazzolara, Glynn Winskel |
Events in security protocols. |
ACM Conference on Computer and Communications Security |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel |
Preface. |
Ann. Pure Appl. Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel |
Bistructures, bidomains, and linear logic. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Glynn Winskel |
Event Structures as Presheaves -Two Representation Theorems. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel |
Weak Bisimulation and Open Maps. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
semantics, Concurrency, denotational semantics, categorical models |
| 1 | Gian Luca Cattani, John Power, Glynn Winskel |
A Categorical Axiomatics for Bisimulation. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel |
A Relational Model of Non-deterministic Dataflow. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel (eds.) |
Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings |
ICALP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Glynn Winskel |
A Linear Metalanguage for Concurrency. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel |
A Theory of Recursive Domains with Applications to Concurrency. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
An Operational Understanding of Bisimulation from Open Maps. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Uffe Engberg, Glynn Winskel |
Completeness Results for Linear Logic on Petri Nets. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luca Cattani, Ian Stark, Glynn Winskel |
Presheaf Models for the pi-Calculus. |
Category Theory and Computer Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Glynn Winskel |
Petri Nets and Bisimulation. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
Models for Concurrency: Towards a Classification. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | André Joyal, Mogens Nielsen, Glynn Winskel |
Bisimulation from Open Maps. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
A Presheaf Semantics of Value-Passing Processes. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luca Cattani, Glynn Winskel |
Presheaf Models for Concurrency. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Juanito Camilleri, Glynn Winskel |
CCS with Priority Choice |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Glynn Winskel |
Bistructures, Bidomains and Linear Logic. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Stable Bistructure Models of PCF. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Reif Andersen, Colin Stirling, Glynn Winskel |
A Compositional Proof System for the Modal mu-Calculus |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
The formal semantics of programming languages - an introduction. |
|
1993 |
RDF |
|
| 1 | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
A Classification of Models for Concurrency. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
Deterministic Behavioural Models for Concurrency. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Uffe Engberg, Glynn Winskel |
Completeness Results for Linear Logic on Petri Nets. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | André Joyal, Mogens Nielsen, Glynn Winskel |
Bisimulation and open maps |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Vladimiro Sassone, Glynn Winskel |
Relationships Between Models of Concurrency. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
Models for Concurrency, Semantics, Concurrency, Categories |
| 1 | Uffe Engberg, Glynn Winskel |
Linear Logic on Petri Nets. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
Petri nets, Linear logic |
| 1 | Henrik Reif Andersen, Glynn Winskel |
Compositional Checking of Satsfaction. |
Formal Methods in System Design |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
A Note on Model Checking the Modal nu-Calculus. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Glynn Winskel |
Using Information Systems to Solve Recursive Domain Equations |
Inf. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Reif Andersen, Glynn Winskel |
Compositional Checking of Satisfaction. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Juanito Camilleri, Glynn Winskel |
CCS with Priority Choice |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Petri Nets and Transition Systems (Abstract for an invited talk). |
FSTTCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
A Compositional Proof System on a Category of Labelled Transition Systems |
Inf. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
On the Compositional Checking of Validity (Extended Abstract). |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Uffe Engberg, Glynn Winskel |
Petri Nets as Models of Linear Logic. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Carl A. Gunter, Glynn Winskel |
Domain Theoretic Models of Polymorphism |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
A Note on Model Checking the Modal nu-Calculus. |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract) |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
An introduction to event structures. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
higher types, Petri nets, parallel computation, semantics, concurrency, traces, lambda calculus, nondeterminism, communicating processes, Event structures |
| 1 | Glynn Winskel |
Petri Nets, Algebras, Morphisms, and Compositionality |
Inf. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Carl A. Gunter, Glynn Winskel |
DI-Domains as a Model of Polymorphism. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Relating Two Models of Hardware. |
Category Theory and Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Event Structures. |
Advances in Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
On Powerdomains and Modality. |
Theor. Comput. Sci. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen D. Brookes, A. W. Roscoe, Glynn Winskel (eds.) |
Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 |
Seminar on Concurrency |
1985 |
DBLP BibTeX RDF |
|
| 1 | Glynn Winskel |
Petri nets, morphisms and compositionality. |
Applications and Theory in Petri Nets |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Category Theory and Models for Parallel Computation. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
A Complete System for SCCS with Modal Assertions. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Synchronization Trees. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Categories of Models for Concurrency. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
On the Composition and Decomposition of Assertions. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
A New Definition of Morphism on Petri Nets. |
STACS |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel, Kim Guldstrand Larsen |
Using Information Systems to Solve Recursive Domain Equations Effectively. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Synchronisation Trees. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
A Note on Powerdomains and Modalitiy. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
Event Structure Semantics for CCS and Related Languages. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel |
Petri Nets, Event Structures and Domains, Part I. |
Theor. Comput. Sci. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel |
Petri Nets, Event Structures and Domains. |
Semantics of Concurrent Computation |
1979 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")