Logic meets algebra: compositional timing analysis for synchronous reactive multithreading

DOI10.1007/978-3-030-22348-9_5MaRDI QIDQ6165810zbMATH OpenOpenAlexFDO

Authors Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha Roop, Reinhard von Hanxleden

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

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Heyting algebras (lattice-theoretic aspects) (06D20) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A novel WCET semantics of synchronous programs
• Towards an algebra for real-time programs
• scientific article; zbMATH DE number 1303727
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Logical specification of reactive and real-time systems

Cited in

(3)

• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• Characterising combinational timing analyses in intuitionistic modal logic
• scientific article; zbMATH DE number 1751887 (Why is no real title available?)

This page was built for publication: Logic meets algebra: compositional timing analysis for synchronous reactive multithreading

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