search result

Cover von Monads on Categories of Relational Structures

Monads on Categories of Relational Structures

Year: 2021
Media group: LIPIcs
Cover von A Linear-Time Nominal ?-Calculus with Name Allocation

A Linear-Time Nominal ?-Calculus with Name Allocation

Year: 2021
Media group: LIPIcs
Cover von Explaining Behavioural Inequivalence Generically in Quasilinear Time

Explaining Behavioural Inequivalence Generically in Quasilinear Time

Year: 2021
Media group: LIPIcs
Cover von The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies

The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies

Year: 2021
Media group: LIPIcs
Cover von Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum

Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum

Year: 2019
Media group: LIPIcs
Cover von Generic Trace Semantics and Graded Monads

Generic Trace Semantics and Graded Monads

Year: 2015
Media group: LIPIcs
Cover von Relational Connectors and Heterogeneous Simulations
article in Foundations of Software Science and Computation Structures 2025
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15691 : article
Media group: ARTICLE
Cover von Identity-Preserving Lax Extensions and Where to Find Them

Identity-Preserving Lax Extensions and Where to Find Them

Year: 2025
Media group: LIPIcs
Cover von Quantitative Graded Semantics and Spectra of Behavioural Metrics

Quantitative Graded Semantics and Spectra of Behavioural Metrics

Year: 2025
Media group: LIPIcs
Cover von Nominal Büchi Automata with Name Allocation

Nominal Büchi Automata with Name Allocation

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0