On specification of multiprocessor computing

DOI10.1007/BF00264282MaRDI QIDQ1825628zbMATH OpenOpenAlexFDO

Authors Władysław 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)

Review text

The paper presents a new specification style for computations to be executed in an essentially multiprocessor environment. This style is based on two pragmetic premises: (1) the specification is derived from considerations of system reaction related to system state, rather than to a goal to be achieved, (2) a reaction enabled by a system state is executed independently of any other system activity but its coutcome is accepted only if the system ``by itself satisfies a postguard condition, i.e. finds itself in a (possibly different) well-defined state.

Recommendations

• scientific article; zbMATH DE number 3999273
• scientific article; zbMATH DE number 988156
• scientific article; zbMATH DE number 3926214
• On interprocess communication. I: Basic formalism
• Specifying the Caltech asynchronous microprocessor

Cited in

(5)

• Specifying the Caltech asynchronous microprocessor
• scientific article; zbMATH DE number 512946 (Why is no real title available?)
• How to make a microprocessor computer that correctly executes multiprocess programs
• On starvation and some related issues
• Prescribing behaviours

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

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