Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
From MaRDI portal
Publication:2850841
DOI10.2168/LMCS-9(3:28)2013zbMath1307.68051arXiv1307.2538MaRDI QIDQ2850841
Daniel Schwencke, Stefan Milius, Lawrence S. Moss
Publication date: 1 October 2013
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1307.2538
Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (12)
Structural congruence for bialgebraic semantics ⋮ A model of guarded recursion via generalised equilogical spaces ⋮ The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types ⋮ Unguarded recursion on coinductive resumptions ⋮ Companions, Codensity and Causality ⋮ Friends with Benefits ⋮ Product Rules and Distributive Laws ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions ⋮ Equations, Contractions, and Unique Solutions ⋮ Unnamed Item ⋮ Corecursion up-to via causal transformations
This page was built for publication: Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
