January 28, 2021

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.

Author: Tojajas Dishakar
Country: Argentina
Language: English (Spanish)
Genre: Music
Published (Last): 24 January 2015
Pages: 334
PDF File Size: 12.96 Mb
ePub File Size: 5.2 Mb
ISBN: 192-5-13249-831-1
Downloads: 88169
Price: Free* [*Free Regsitration Required]
Uploader: Yoshakar

Game semantics, in creating a broader foundation which supports concurrent games and strategiesa paper is accepted in the prestigious conference LICS to be held at the Fields Institute in Toronto, another is submitted; Systems biology, in the mathematical foundations of rule-based models and the extraction of chemical pathways form simulationsa windkel is accepted for the journal MSCS, another is in preparation and collaboration with the kappa team at Harvard, Paris and Edinburgh continues; Concurrent separation logic, in showing that judgements in the logic are robust under refinement of commands Reynolds’ conjecture mainly the work of my glynnn replacement, Jon Hayman.


Get my own profile Cited by View all All Since Citations h-index 42 22 iindex Profunctors, open maps and bisimulation.

Lucy Saunders-EvansGlynn Winskel: Distributed Strategies Made Easy. Bistructures, Bidomains and Linear Logic. Articles 1—20 Show more.

Séminaire de Fédération : Glynn Winskel

The formal semantics of programming languages: Constraining rule-based dynamics with types. Continuous Probability Distributions in Concurrent Games.

Glynn WinskelMogens Nielsen: Sign up for newsletters. Concurrent separation logic, in showing that judgements in the logic are robust under refinement of commands Reynolds’ conjecture mainly the work of my teaching replacement, Jon Hayman.

Glynn Winskel | Royal Society

Theoretical Computer Science, Combining True Concurrency with Process Algebra. Gian Luca CattaniMarcelo P. On Concurrent Games with Payoff.

Mikkel NygaardGlynn Winskel: Hugo Paquet wwinskel, Glynn Winskel: Containment in Rule-Based Models. Strategies as Concurrent Processes. An Exercise in Processes with Infinite Pasts.

Bisimulation from Open Maps. Juanito CamilleriGlynn Winskel: Petri nets, algebras, morphisms, and compositionality Gpynn Winskel Information and Computation 72 3, Gian Luca CattaniGlynn Winskel: On the Composition and Decomposition of Assertions.


Séminaire de Fédération : Glynn Winskel

Logic in Computer Science, Event Structure Spans for Nondeterministic Dataflow. International Conference on Concurrency, A Categorical Axiomatics for Bisimulation.

On the determinacy of concurrent games hlynn event structures with infinite winning sets.

FioreGlynn Winskel: Thompson-WalshGlynn Winskel: Categories of models for concurrency G Winskel International Conference on Concurrency, Glynn WinskelKim Guldstrand Larsen: Linearity in Process Languages. I am very grateful to have received the Leverhulme senior fellowship.

Glynn Winskel

Skip to content You currently have JavaScript disabled flynn your web browser, please enable JavaScript to view our website as intended. Compositional Checking of Satsfaction. University of Cambridge, UK.