IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Dr.

Bartek Klin

Department of Computer Science
University of Oxford
United Kingdom
Research topics: Operational semantics of process algebras and programming languages, Coalgebraic and bialgebraic methods, Algebraic specifications (updated at 2010-01-01)
https://www.cs.ox.ac.uk/people/bartek.klin/main.html