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):||18 March 2005|
|PDF File Size:||8.63 Mb|
|ePub File Size:||10.95 Mb|
|Price:||Free* [*Free Regsitration Required]|
The Winning Ways of Concurrent Games. New articles by this author. Petri Nets as Models of Linear Logic. The concurrent wjnskel semantics of Probabilistic PCF.
Marc de VismeGlynn Winskel: Proof, Language, and Interaction A Glyn Model of Non-deterministic Dataflow. Kim Guldstrand LarsenGlynn Winskel: An Exercise in Processes with Infinite Pasts. Relationships Between Models of Concurrency.
On Probabilistic Distributed Strategies. Bisimulation from Open Maps. Logic and Program Semantics Luca CardelliMarcelo P. Formal Methods in System Design 1 4: Applications and Theory in Petri Nets Research Fellows Directory Glynn Winskel. Events, Causality and Symmetry. Distributed Strategies Made Easy. A relational model winksel non-deterministic dataflow.
Strategies as Concurrent Processes.
dblp: Glynn Winskel
Petri nets, algebras, morphisms, and compositionality G Winskel Information and Computation 72 3, Constraining rule-based dynamics with types. Petri Nets and Transition Systems Abstract for an invited talk.
Games and Strategies as Event Structures. Symmetry in concurrent games. Uffe EngbergGlynn Winskel: PlotkinGlynn Winskel: Petri Nets, Event Structures and Domains. Event Structures with Symmetry. Deterministic Behavioural Models for Concurrency. Petri Nets With Persistence. Mathematical Structures in Computer Science 14 5: Systems biology, in the mathematical foundations of rule-based models and the extraction of chemical pathways form simulationsa paper is accepted for the journal MSCS, another is in preparation and collaboration with the kappa team at Harvard, Paris and Edinburgh continues.
The True Concurrency of Herbrand’s Theorem. Linearity in Process Languages. New articles related to this author’s research.
The system can’t perform the operation now. Domain Theoretic Models of Polymorphism. Their combined citations are counted only for the winsekl article. Please help us improve this page by taking our short survey.
Distributing probability over non-determinism. New citations to this author.