Coinductive techniques for checking satisfiability of generalized nested conditions

DOI10.4230/LIPICS.CONCUR.2024.39MaRDI QIDQ6859906zbMATH OpenFDO

Authors Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

category theorysatisfiabilitygraph conditionscoinductive techniques

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Coinductive techniques for checking satisfiability of generalized nested conditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6859906)