Logic meets algebra: compositional timing analysis for synchronous reactive multithreading
DOI10.1007/978-3-030-22348-9_5zbMath1519.68164OpenAlexW2954542115MaRDI QIDQ6165810
Reinhard von Hanxleden, Partha Roop, Michael Mendler, Joaquín Aguado, Bruno Bodin
Publication date: 2 August 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-22348-9_5
Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Heyting algebras (lattice-theoretic aspects) (06D20) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: Logic meets algebra: compositional timing analysis for synchronous reactive multithreading
