scientific article; zbMATH DE number 3683043

MaRDI QIDQ3878746zbMATH OpenFDO

Authors Gerard M. Baudet, Richard P. Brent, H. T. Kung

Publication date 1980

zbMATH Keywords

asynchronous machinescritical sectionsmultiprocessorsparallelismqueuing theoryredundancyspeed-upsynchronizationzero-finding

Mathematics Subject Classification ID

Theory of operating systems (68N25) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication:

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