Seyed Hossein Haeri, Peter Van Roy, Heinrich Apfelmus, Peter Thompson 0002, Neil J. Davies, Magne Haveraaen, Mikhail Barash, Kevin Hammond, James Chapman 0001, Artjoms Sinkarovs. Algebraic reasoning for timeliness-guided system design. J. Log. Algebr. Meth. Program., 148:101093, 2026. [doi]
Abstract is missing.