Specification of concurrent objects using auxiliary variables

DOI10.1016/0167-6423(91)90023-QMaRDI QIDQ808725zbMATH OpenFDO

Authors Ambuj Singh

Publication date 1991

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

auxiliary variablesspecification of concurrent objects

Mathematics Subject Classification ID

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

Recommendations

• Specifying concurrent objects as communicating processes
• The role of auxiliary variables in the formal development of concurrent programs
• Steps in modular specifications for concurrent modules (invited tutorial paper)
• scientific article; zbMATH DE number 4213463
• Specifying concurrent object-oriented systems

Cited in

(4)

• A structural approach to prophecy variables
• The role of auxiliary variables in the formal development of concurrent programs
• Specifying concurrent objects as communicating processes
• Application of the composition principle to unity-like specifications

This page was built for publication: Specification of concurrent objects using auxiliary variables

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