scientific article; zbMATH DE number 1086715
From MaRDI portal
Publication:4362964
zbMATH Open0881.18004MaRDI QIDQ4362964FDOQ4362964
Authors: Daniele Turi 
Publication date: 13 November 1997
Title of this publication is not available (Why is that?)
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
Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)
Cited In (11)
- Bialgebras for structural operational semantics: an introduction
- Well-behaved translations between structural operational semantics
- Universal coalgebra: A theory of systems
- Title not available (Why is that?)
- New approach to categorical semantics for procedural languages
- Lambek's operational categories
- GSOS for probabilistic transition systems (extended abstract)
- Fully Abstract and Robust Compilation
- A proposed categorical semantics for ML modules
- Adding recursive constructs to bialgebraic semantics
- Modularity and implementation of mathematical operational semantics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362964)
