Specification of concurrent objects using auxiliary variables

DOI10.1016/0167-6423(91)90023-QzbMath0732.68077MaRDI QIDQ808725

Ambuj K. 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)

Related Items (1)

Application of the composition principle to unity-like specifications

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