Skip navigation
Skip navigation

Towards effects in mathematical operational semantics

Abou-Saleh, Faris; Pattinson, Dirk


In this paper, we study extensions of mathematical operational semantics with algebraic effects. Our starting point is an effect-free coalgebraic operational semantics, given by a natural transformation of syntax over behaviour. The operational semantics

CollectionsANU Research Publications
Date published: 2011
Type: Journal article
Source: Electronic Notes in Theoretical Computer Science
DOI: 10.1016/j.entcs.2011.09.016


File Description SizeFormat Image
01_Abou-Saleh_Towards_effects_in_2011.pdf350.37 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator