Personal tools
You are here: Home Events Abstract Archives 1997 Well-Behaved Operational Rules are Natural

Well-Behaved Operational Rules are Natural

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

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 .

Document Actions