Towards Effects in Mathematical Operational Semantics

DOI10.1016/J.ENTCS.2011.09.016MaRDI QIDQ5739352zbMATH OpenOpenAlexWikidataFDO

Authors Faris Abou-Saleh, Dirk Pattinson

Publication date 15 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.09.016

zbMATH Keywords

coalgebrascomodelseffectsKleisli categoryoperational semantics

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Comodels and effects in mathematical operational semantics
• Towards a theory of mathematical operational semantics
• Relating operational and denotational semantics for input/output effects
• A proof theoretic approach to operational semantics
• Modularity and implementation of mathematical operational semantics
• Operational semantics with semicommutations
• Modularity of behaviours for mathematical operational semantics
• scientific article; zbMATH DE number 4189708
• A structural approach to operational semantics
• On the syntax and semantics of effect axioms

Cites work

• Bialgebraic methods and modal logic in structural operational semantics
• Combining effects: sum and tensor
• Countable Lawvere theories and computational effects
• Discrete Lawvere theories and computational effects
• From comodels to coalgebras: state and arrays
• Generic Trace Semantics via Coinduction
• scientific article; zbMATH DE number 1705158 (Why is no real title available?)
• scientific article; zbMATH DE number 108368 (Why is no real title available?)
• scientific article; zbMATH DE number 1497803 (Why is no real title available?)
• scientific article; zbMATH DE number 1373521 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 2222246 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• Notions of computation and monads
• Structural Operational Semantics for Stochastic Process Calculi
• Substitution in non-wellfounded syntax with variable binding
• Tensors of comodels and models for operational semantics
• The Category-Theoretic Solution of Recursive Domain Equations
• Trace semantics for coalgebras

Cited in

(11)

• Algebraic operations and generic effects
• scientific article; zbMATH DE number 1705158 (Why is no real title available?)
• The enriched effect calculus: syntax and semantics
• Relating operational and denotational semantics for input/output effects
• scientific article; zbMATH DE number 2079038 (Why is no real title available?)
• Comodels and effects in mathematical operational semantics
• Semantics for algebraic operations
• Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
• Algebra and Coalgebra in Computer Science
• Coalgebraic operational semantics for an imperative language
• Fully Abstract and Robust Compilation

This page was built for publication: Towards Effects in Mathematical Operational Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5739352)