Specification of concurrent objects using auxiliary variables

DOI10.1016/0167-6423(91)90023-QzbMATH Open0732.68077MaRDI QIDQ808725FDOQ808725

Authors: Ambuj Singh 

Publication date: 1991

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

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

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)

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)