BibSLEIGH — Glynn

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: Winskel:Glynn

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2006

2005

2002

1999

1998

1996

1994

1991

1989

1988

1983

1982

2017

2018

2019

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.
FoSSaCS-2013-Winskel: 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.
LICS-1991-CamilleriW: 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.
ICALP-1983-Winskel: 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.