scientific article; zbMATH DE number 512946

MaRDI QIDQ4281660zbMATH OpenFDO

Authors Władysław M. Turski

Publication date 16 August 1994

zbMATH Keywords

actionglobal statenon-sequential behaviourparallel executionpast-conditionspreconditionsprivate statespecifications

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Programming for behaviour
• A practical theory of programming
• Predicative programming Part II
• scientific article; zbMATH DE number 4007699
• On specification of multiprocessor computing

Cited in

(1)

• Programming for behaviour

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 Q4281660)