Functorial Operational Semantics and its Denotational Dual

Daniele Turi

PhD Thesis, Free University, Amsterdam. June 1996.

Abstract

The notion of functorial operational semantics introduced in this thesis is a categorical formulation (and generalization) of `well-behaved' structural operational semantics based on labelled transition systems. This notion has several desirable properties (such as congruence of the associated strong bisimilarity, and existence of a dual denotational semantics) and it subsumes existing, concrete schemes (such as GSOS) for guaranteeing such good behaviour. All this is achieved via use of the category theory of monads and comonads. The thesis also contains a coalgebraic treatment of the theory of non-well-founded sets which simplifies and improves some aspects of Peter Aczel's original presentation.

@PhdThesis{Turi:thesis,
  author = 	 "Daniele Turi",
  title = 	 "Functorial Operational Semantics and its Denotational Dual",
  school = 	 "Free University, Amsterdam",
  year = 	 "1996",
  month =        "June",
  source =       {http://www.dcs.ed.ac.uk/home/dt/}
	  }