Algebraic reasoning for timeliness-guided system design

Designing distributed systems to have predictable performance under all loads is difficult because of resource exhaustion, nonlinearity, and stochastic behaviour. Timeliness, defined as delivering results (sufficiently often) within a specified delay distribution, is a central aspect of predictable...

Full description

Bibliographic Details

Published in:	Journal of logical and algebraic methods in programming Vol. 148; p. 101093
Main Authors:	Haeri, Seyed Hossein, Van Roy, Peter, Apfelmus, Heinrich, Thompson, Peter W., Davies, Neil J., Haveraaen, Magne, Barash, Mikhail, Hammond, Kevin, Chapman, James, Šinkarovs, Artjoms
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.01.2026
Subjects:	Algebraic reasoning System design Timeliness ΔQSD Algebraic reasoning 60H99 90B99 03B99 Timeliness 68M99 System design ΔQSD
ISSN:	2352-2208
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!