G
Glynn Winskel
15 works on record
Works
The formal semantics of programming languages
Automata, Languages and Programming
La semantica formale dei linguaggi di programmazione
Seminar on Concurrency
Using information systems to solve recursive domain equations effectively
Using information systems to solve recursive domain equations effectively
On the composition and decomposition of assertions
On the composition and decomposition of assertions
Category theory and models for parallel computation
Category theory and models for parallel computation
Categories of models for concurrency
Categories of models for concurrency
A complete proof system for SCCS with modal assertions
A complete proof system for SCCS with modal assertions
Petri nets, algebras and morphisms
Petri nets, algebras and morphisms
Event structures
Event structures
Relating two models of hardware
Relating two models of hardware
A compositional model of MOS circuits
A compositional model of MOS circuits
Introduction to Formal Semantics
Introduction to Formal Semantics
Events in computation
Events in computation