Skip navigation
Skip navigation
Open Research will be down for maintenance between 8:00 and 8:15 am on Tuesday, December 1 2020.

Comodels and Effects in Mathematical Operational Semantics

Abou-Saleh, Faris; Pattinson, Dirk


In the mid-nineties, Turi and Plotkin gave an elegant categorical treatment of denotational and operational semantics for process algebra-like languages, proving compositionality and adequacy by defining operational semantics as a distributive law of syntax over behaviour. However, its applications to stateful or effectful languages, incorporating (co)models of a countable Lawvere theory, have been elusive so far. We make some progress towards a coalgebraic treatment of such languages,...[Show more]

CollectionsANU Research Publications
Date published: 2013
Type: Conference paper
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DOI: 10.1007/978-3-642-37075-5_9


File Description SizeFormat Image
01_Abou-Saleh_Comodels_and_Effects_in_2013.pdf6.23 MBAdobe PDF    Request a copy
02_Abou-Saleh_Comodels_and_Effects_in_2013.pdf324.09 kBAdobe PDF    Request a copy

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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator