Glynn Winskel

	2012
99		Glynn Winskel: Bicategories of Concurrent Games - (Invited Paper). FoSSaCS 2012: 26-41
98		Glynn Winskel: Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information. Logic and Program Semantics 2012: 298-317
	2011
97		Silvain Rideau, Glynn Winskel: Concurrent Strategies. LICS 2011: 409-418
96		Glynn Winskel: Events, Causality and Symmetry. Comput. J. 54(1): 42-57 (2011)
	2010
95		Sam Staton, Glynn Winskel: On the Expressivity of Symmetry in Event Structures. LICS 2010: 392-401
	2009
94		David Turner, Glynn Winskel: Nominal Domain Theory for Concurrency. CSL 2009: 546-560
93		Glynn Winskel: Prime algebraicity. Theor. Comput. Sci. 410(41): 4160-4168 (2009)
	2008
92		Glynn Winskel: Events, Causality and Symmetry. BCS Int. Acad. Conf. 2008: 111-127
91		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
90		Jonathan Hayman, Glynn Winskel: The unfolding of general Petri nets. FSTTCS 2008: 223-234
89		Jonathan Hayman, Glynn Winskel: Independence and Concurrent Separation Logic CoRR abs/0802.0820: (2008)
88		Jonathan Hayman, Glynn Winskel: Independence and Concurrent Separation Logic. Logical Methods in Computer Science 4(1): (2008)
	2007
87		Glynn Winskel: Symmetry and Concurrency. CALCO 2007: 40-64
86		Luca Cardelli, Marcelo P. Fiore, Glynn Winskel: Preface. Electr. Notes Theor. Comput. Sci. 172: 1-4 (2007)
85		Glynn Winskel: Event Structures with Symmetry. Electr. Notes Theor. Comput. Sci. 172: 611-652 (2007)
84		Lucy Saunders-Evans, Glynn Winskel: Event Structure Spans for Nondeterministic Dataflow. Electr. Notes Theor. Comput. Sci. 175(3): 109-129 (2007)
	2006
83		Jonathan Hayman, Glynn Winskel: Independence and Concurrent Separation Logic. LICS 2006: 147-156
82		Daniele Varacca, Glynn Winskel: Distributing probability over non-determinism. Mathematical Structures in Computer Science 16(1): 87-113 (2006)
81		Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic event structures and domains. Theor. Comput. Sci. 358(2-3): 173-199 (2006)
	2005
80		Glynn Winskel: Relations in Concurrency. LICS 2005: 2-11
79		Glynn Winskel: Name Generation and Linearity. LICS 2005: 301-310
78		Federico Crazzolara, Glynn Winskel: Petri Nets With Persistence. Electr. Notes Theor. Comput. Sci. 121: 143-155 (2005)
77		Mario Cáccamo, Glynn Winskel: Limit Preservation from Naturality. Electr. Notes Theor. Comput. Sci. 122: 3-22 (2005)
76		Gian Luca Cattani, Glynn Winskel: Profunctors, open maps and bisimulation. Mathematical Structures in Computer Science 15(3): 553-614 (2005)
	2004
75		Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic Event Structures and Domains. CONCUR 2004: 481-496
74		Glynn Winskel, Francesco Zappa Nardelli: New-HOPLA: A Higher-order Process Language with Name Generation. IFIP TCS 2004: 521-534
73		Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A relational model of non-deterministic dataflow. Mathematical Structures in Computer Science 14(5): 613-649 (2004)
72		Mikkel Nygaard, Glynn Winskel: Domain theory for concurrency. Theor. Comput. Sci. 316(1): 153-190 (2004)
	2003
71		Mikkel Nygaard, Glynn Winskel: Full Abstraction for HOPLA. CONCUR 2003: 378-392
70		Gian Luca Cattani, Glynn Winskel: Presheaf models for CCS-like languages. Theor. Comput. Sci. 300(1-3): 47-89 (2003)
	2002
69		Mikkel Nygaard, Glynn Winskel: HOPLA-A Higher-Order Process Language. CONCUR 2002: 434-448
68		Glynn Winskel: Calculus for categories. FICS 2002: 1
67		Federico Crazzolara, Glynn Winskel: Composing Strand Spaces. FSTTCS 2002: 97-108
66		Mikkel Nygaard, Glynn Winskel: Linearity in Process Languages. LICS 2002: 433-
65		Glynn Winskel: Guest Editorial. Inf. Comput. 179(2): 151 (2002)
	2001
64		Federico Crazzolara, Glynn Winskel: Events in security protocols. ACM Conference on Computer and Communications Security 2001: 96-105
63		Federico Crazzolara, Glynn Winskel: Petri nets in cryptographic protocols. IPDPS 2001: 149
62		Mario Cáccamo, Glynn Winskel: A Higher-Order Calculus for Categories. TPHOLs 2001: 136-153
	2000
61		Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel: Bistructures, bidomains, and linear logic. Proof, Language, and Interaction 2000: 21-54
60		Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel: Preface. Ann. Pure Appl. Logic 104(1-3): 1-2 (2000)
	1999
59		Glynn Winskel: Event Structures as Presheaves -Two Representation Theorems. CONCUR 1999: 541-556
58		Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel: Weak Bisimulation and Open Maps. LICS 1999: 67-76
	1998
57		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
56		Glynn Winskel: A Linear Metalanguage for Concurrency. AMAST 1998: 42-58
55		Gian Luca Cattani, John Power, Glynn Winskel: A Categorical Axiomatics for Bisimulation. CONCUR 1998: 581-596
54		Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A Relational Model of Non-deterministic Dataflow. CONCUR 1998: 613-628
53		Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel: A Theory of Recursive Domains with Applications to Concurrency. LICS 1998: 214-225
	1997
52		Gian Luca Cattani, Ian Stark, Glynn Winskel: Presheaf Models for the pi-Calculus. Category Theory and Computer Science 1997: 106-126
51		Uffe Engberg, Glynn Winskel: Completeness Results for Linear Logic on Petri Nets. Ann. Pure Appl. Logic 86(2): 101-135 (1997)
50		Glynn Winskel: An Operational Understanding of Bisimulation from Open Maps. Electr. Notes Theor. Comput. Sci. 10: 50 (1997)
	1996
49		Glynn Winskel: A Presheaf Semantics of Value-Passing Processes. CONCUR 1996: 98-114
48		Gian Luca Cattani, Glynn Winskel: Presheaf Models for Concurrency. CSL 1996: 58-75
47		André Joyal, Mogens Nielsen, Glynn Winskel: Bisimulation from Open Maps. Inf. Comput. 127(2): 164-185 (1996)
46		Mogens Nielsen, Glynn Winskel: Petri Nets and Bisimulation. Theor. Comput. Sci. 153(1&2): 211-244 (1996)
45		Vladimiro Sassone, Mogens Nielsen, Glynn Winskel: Models for Concurrency: Towards a Classification. Theor. Comput. Sci. 170(1-2): 297-348 (1996)
	1995
44		Juanito Camilleri, Glynn Winskel: CCS with Priority Choice Inf. Comput. 116(1): 26-37 (1995)
	1994
43		Gordon D. Plotkin, Glynn Winskel: Bistructures, Bidomains and Linear Logic. ICALP 1994: 352-363
42		Henrik Reif Andersen, Colin Stirling, Glynn Winskel: A Compositional Proof System for the Modal mu-Calculus LICS 1994: 144-153
41		Glynn Winskel: Stable Bistructure Models of PCF. MFCS 1994: 177-197
	1993
40		Glynn Winskel: The formal semantics of programming languages - an introduction. MIT Press 1993: I-XVIII, 1-361
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

Coauthor Index

1	Henrik Reif Andersen	[32] [33] [42]
2	Gérard Boudol	[91]
3	Stephen D. Brookes	[16]
4	Carsten Butz	[60]
5	Mario Cáccamo	[62] [77]
6	Juanito Camilleri	[30] [44]
7	Luca Cardelli	[86]
8	Ilaria Castellani	[91]
9	Gian Luca Cattani	[48] [52] [53] [55] [58] [70] [76]
10	Thierry Coquand	[19] [23]
11	Federico Crazzolara	[63] [64] [67] [78]
12	Pierre-Louis Curien	[61]
13	Uffe Engberg	[27] [35] [37] [51]
14	Marcelo P. Fiore	[53] [58] [86]
15	Carl A. Gunter	[19] [23]
16	Jonathan Hayman	[83] [88] [89] [90]
17	Matthew Hennessy	[91]
18	Thomas T. Hildebrandt	[54] [73]
19	André Joyal	[38] [47]
20	Ulrich Kohlenbach	[60]
21	Kim Guldstrand Larsen (Kim G. Larsen)	[10] [29] [57]
22	Francesco Zappa Nardelli	[74]
23	Mogens Nielsen	[1] [2] [34] [36] [38] [39] [45] [46] [47] [91]
24	Mikkel Nygaard	[66] [69] [71] [72]
25	Prakash Panangaden	[54] [73]
26	Gordon D. Plotkin	[1] [2] [43] [61]
27	John Power (A. John Power)	[55]
28	Silvain Rideau	[97]
29	Søren Riis	[60]
30	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[16]
31	Vladimiro Sassone	[34] [36] [39] [45]
32	Lucy Saunders-Evans	[84]
33	Sven Skyum	[57]
34	Ian Stark	[52]
35	Sam Staton	[95]
36	Colin Stirling	[42]
37	David Turner	[94]
38	Daniele Varacca	[75] [81] [82]
39	Hagen Völzer	[75] [81]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page