Delay-bounded scheduling without delay!

DOI10.1007/978-3-030-81685-8_18zbMath1493.68113arXiv2105.07277OpenAlexW3184791836MaRDI QIDQ832185

Thomas Wahl, Andrew Johnson

Publication date: 25 March 2022

Full work available at URL: https://arxiv.org/abs/2105.07277

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• veriSoft
• ACL2s
• monabs

Cites Work

• Unnamed Item
• Lost in abstraction: monotonicity in multi-threaded programs
• Reducing concurrent analysis under a context bound to sequential analysis
• ACL2s: “The ACL2 Sedan”
• Bounded Phase Analysis of Message-Passing Programs
• Well (and Better) Quasi-Ordered Transition Systems
• Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
• Analysis of Message Passing Programs Using SMT-Solvers
• Delay-bounded scheduling
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Delay-bounded scheduling without delay!