LFCS Theory Seminar
Room 6301, JCMB, King's Buildings
4.00pm, Tuesday 17th June 1997

*NOTE NONSTANDARD ROOM*

Title: Well-Behaved Operational Rules are Natural

Speaker: Daniele Turi (LFCS)

This is a preliminary version of the talk I shall give at the next LICS to present the approach to `well-behaved' Structural Operational Semantics I am currently developing with Gordon Plotkin. We show that structural operational rules which are natural (in a formal sense) induce an operational semantics which distributes (again, in a formal, abstract sense) the syntax over the behaviour. This gives several desirable properties such as the existence of a canonical and adequate denotational model. The theory specializes to known classes of well-behaved operational rules such as GSOS .