Glynn Winskel

· 15 obras en el catálogo

Obras

CCategories of models for concurrency

Categories of models for concurrency

The formal semantics of programming languages

OOn the composition and decomposition of assertions

On the composition and decomposition of assertions

UUsing information systems to solve recursive domain equation

Using information systems to solve recursive domain equations effectively

AA complete proof system for SCCS with modal assertions

A complete proof system for SCCS with modal assertions

PPetri nets, algebras and morphisms

Petri nets, algebras and morphisms

CCategory theory and models for parallel computation

Category theory and models for parallel computation

EEvent structures

Event structures

AA compositional model of MOS circuits

A compositional model of MOS circuits

RRelating two models of hardware

Relating two models of hardware

Automata, Languages and Programming

La semantica formale dei linguaggi di programmazione

Seminar on Concurrency

IIntroduction to Formal Semantics

Introduction to Formal Semantics

EEvents in computation

Events in computation