Towards Effects in Mathematical Operational Semantics
From MaRDI portal
Publication:5739352
DOI10.1016/j.entcs.2011.09.016zbMath1342.68064OpenAlexW2056143164WikidataQ113318231 ScholiaQ113318231MaRDI QIDQ5739352
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
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Substitution in non-wellfounded syntax with variable binding
- Notions of computation and monads
- Discrete Lawvere theories and computational effects
- Bialgebraic methods and modal logic in structural operational semantics
- Combining effects: sum and tensor
- The Category-Theoretic Solution of Recursive Domain Equations
- Initial Algebra Semantics and Continuous Algebras
- Tensors of Comodels and Models for Operational Semantics
- Generic Trace Semantics via Coinduction
- Structural Operational Semantics for Stochastic Process Calculi
