BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Croatia
1 × Estonia
1 × France
1 × Israel
1 × Japan
1 × Portugal
1 × Spain
2 × The Netherlands
2 × United Kingdom
3 × Denmark
3 × Italy
3 × USA
Collaborated with:
P.Clairambault G.L.Cattani H.R.Andersen M.d.Visme S.Castellan M.P.Fiore S.Rideau S.Staton D.Turner J.Hayman M.Nygaard G.D.Plotkin J.Camilleri J.Gutierrez C.Stirling A.Alcolei M.Hyland
Talks about:
concurr (10) game (5) strategi (3) composit (3) linear (3) model (3) symmetri (2) structur (2) parallel (2) calculus (2)

Person: Glynn Winskel

DBLP DBLP: Winskel:Glynn

Facilitated 1 volumes:

ICALP 1998Ed

Contributed to:

LICS 20152015
CSL-LICS 20142014
FOSSACS 20132013
FOSSACS 20122012
LICS 20122012
LICS 20112011
LICS 20102010
CSL 20092009
LICS 20062006
LICS 20052005
LICS 20022002
LICS 19991999
LICS 19981998
CSL 19961996
ICALP 19941994
LICS 19941994
CAV 19911991
LICS 19911991
ICALP 19891989
LICS 19881988
ICALP 19831983
ICALP 19821982
CSL 20172017
CSL 20182018
POPL 20192019

Wrote 26 papers:

LICS-2015-CastellanCW #game studies #parallel
The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.
LICS-CSL-2014-CastellanCW #concurrent #game studies #symmetry
Symmetry in concurrent games (SC, PC, GW), p. 10.
Strategies as Profunctors (GW), pp. 418–433.
FoSSaCS-2012-Winskel #concurrent #game studies
Bicategories of Concurrent Games — (GW), pp. 26–41.
LICS-2012-ClairambaultGW #concurrent #game studies
The Winning Ways of Concurrent Games (PC, JG, GW), pp. 235–244.
LICS-2011-RideauW #concurrent
Concurrent Strategies (SR, GW), pp. 409–418.
LICS-2010-StatonW #on the #symmetry
On the Expressivity of Symmetry in Event Structures (SS, GW), pp. 392–401.
CSL-2009-TurnerW #concurrent
Nominal Domain Theory for Concurrency (DT, GW), pp. 546–560.
LICS-2006-HaymanW #concurrent #independence #logic
Independence and Concurrent Separation Logic (JH, GW), pp. 147–156.
LICS-2005-Winskel #concurrent
Relations in Concurrency (GW), pp. 2–11.
LICS-2005-Winskel05a #generative
Name Generation and Linearity (GW), pp. 301–310.
LICS-2002-NygaardW #process
Linearity in Process Languages (MN, GW), p. 433–?.
LICS-1999-FioreCW #bisimulation
Weak Bisimulation and Open Maps (MPF, GLC, GW), pp. 67–76.
LICS-1998-CattaniFW #concurrent #formal method #recursion
A Theory of Recursive Domains with Applications to Concurrency (GLC, MPF, GW), pp. 214–225.
CSL-1996-CattaniW #concurrent #modelling
Presheaf Models for Concurrency (GLC, GW), pp. 58–75.
ICALP-1994-PlotkinW #linear #logic
Bistructures, Bidomains and Linear Logic (GDP, GW), pp. 352–363.
LICS-1994-AndersenSW #calculus #composition #proving #μ-calculus
A Compositional Proof System for the Modal μ-Calculus (HRA, CS, GW), pp. 144–153.
CAV-1991-AndersenW #composition
Compositional Checking of Satisfaction (HRA, GW), pp. 24–36.
CCS with Priority Choice (JC, GW), pp. 246–255.
ICALP-1989-Winskel #calculus #model checking
A Note on Model Checking the Modal nu-Calculus (GW), pp. 761–772.
LICS-1988-Winskel #composition #petri net #proving
A Category of Labelled Petri Nets and Compositional Proof System (GW), pp. 142–154.
Synchronisation Trees (GW), pp. 695–711.
ICALP-1982-Winskel #semantics
Event Structure Semantics for CCS and Related Languages (GW), pp. 561–576.
CSL-2017-VismeW #parallel
Strategies with Parallel Causes (MdV, GW), p. 21.
CSL-2018-AlcoleiCHW #concurrent #theorem
The True Concurrency of Herbrand's Theorem (AA, PC, MH, GW), p. 22.
POPL-2019-ClairambaultVW #game studies #programming #quantum #semantics
Game semantics for quantum programming (PC, MdV, GW), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.