On specification of multiprocessor computing

DOI10.1007/BF00264282zbMath0684.68026OpenAlexW1969967653MaRDI QIDQ1825628

Wladyslaw M. Turski

Publication date: 1990

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00264282

zbMATH Keywords

multiprocessorspecification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Theory of software (68N99)

Related Items (2)

On starvation and some related issues ⋮ Prescribing behaviours

This page was built for publication: On specification of multiprocessor computing