Categorical modelling of structural operational rules: Case studies

DOI10.1007/BFB0026985MaRDI QIDQ4362964zbMATH OpenFDO

Authors Daniele Turi

Publication date 13 November 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0026985

zbMATH Keywords

guarded recursive programsguardednessmodularityoperational semantics

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Recommendations

• Modularity and implementation of mathematical operational semantics
• Category theory for operational semantics
• Comodels and effects in mathematical operational semantics
• New approach to categorical semantics for procedural languages
• A category theoretic view of nondeterministic recursive program schemes

Cited in

(11)

• Universal coalgebra: A theory of systems
• Adding recursive constructs to bialgebraic semantics
• GSOS for probabilistic transition systems (extended abstract)
• Well-behaved translations between structural operational semantics
• scientific article; zbMATH DE number 4014080 (Why is no real title available?)
• Lambek's operational categories
• New approach to categorical semantics for procedural languages
• A proposed categorical semantics for ML modules
• Modularity and implementation of mathematical operational semantics
• Bialgebras for structural operational semantics: an introduction
• Fully Abstract and Robust Compilation

This page was built for publication: Categorical modelling of structural operational rules: Case studies

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