Glynn Winskel rejoined the University of Cambridge Computer Laboratory as professor in This followed 12 years as professor of computer science at. Organization: University of Cambridge. Web page: Pages in this Program. Program · Program for Tuesday, September 4th · Disclaimer. Formal Semantics of Programming Languages [Glynn Winskel] on *FREE* shipping on qualifying offers. The Formal Semantics of Programming.
|Published (Last):||25 October 2013|
|PDF File Size:||13.94 Mb|
|ePub File Size:||5.44 Mb|
|Price:||Free* [*Free Regsitration Required]|
Concurrency, Graphs and Models Mikkel NygaardGlynn Winskel: Title Cited by Year The formal semantics of programming languages: Containment in Rule-Based Models. On the Composition and Decomposition of Assertions.
Glynn Winskel | Royal Society
Juanito CamilleriGlynn Winskel: Bistructures, bidomains, and linear logic. Mathematical Structures in Computer Science 16 1: Hugo PaquetGlynn Winskel: Lucy Saunders-EvansGlynn Winskel: Theoretical Computer Science, My profile My library Metrics Alerts.
The formal glybn of programming languages: When I applied for Leverhulme grant the future of my funding was unsure, especially given the current climate in the UK.
A Classification of Models for Concurrency. Event Structures with Symmetry.
Mogens NielsenGlynn Winskel: CCS with Priority Choice. Linearity in Process Languages. The unfolding of general Petri nets.
Presheaf models for CCS-like languages. Horizons of the Mind New citations to this author.
dblp: Glynn Winskel
Distributed Games and Strategies. Category Theory and Computer Science Relating Two Models of Hardware. Their combined citations are winkel only for the first article. Logical Methods in Computer Science 4 1 Categories of Models for Concurrency.
Luca CardelliMarcelo P. This “Cited by” count includes citations to the following articles in Scholar. An introduction to event structures.
Séminaire de Fédération : Glynn Winskel
Was this page useful? Mathematical Structures in Computer Science 14 5: Sign up for newsletters. Mathematical Structures in Computer Science 15 3: Borel Determinacy of Concurrent Games. On the determinacy of concurrent games on event structures with infinite winning sets.