scientific article
From MaRDI portal
Publication:2847813
zbMath1271.68150MaRDI QIDQ2847813
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051746
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Coinductive predicates and final sequences in a fibration ⋮ Traces, Executions and Schedulers, Coalgebraically ⋮ Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum ⋮ Iterated covariant powerset is not a monad ⋮ A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum ⋮ Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ Unnamed Item ⋮ The Power-Set Construction for Tree Algebras ⋮ Lattices do not distribute over powerset ⋮ Unnamed Item ⋮ Maximal traces and path-based coalgebraic temporal logics ⋮ Unnamed Item ⋮ Towards Effects in Mathematical Operational Semantics ⋮ Distributive laws for the coinductive solution of recursive equations ⋮ On the Unification of Process Semantics: Observational Semantics ⋮ Processes as formal power series: a coinductive approach to denotational semantics ⋮ Coalgebraic logics \& duality ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors ⋮ Unnamed Item ⋮ (Bi)simulations up-to characterise process semantics ⋮ Coinductive predicates and final sequences in a fibration ⋮ Relational presheaves, change of base and weak simulation ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic