Specifying concurrent objects as communicating processes

DOI10.1016/0167-6423(90)90019-AMaRDI QIDQ919839zbMATH OpenOpenAlexFDO

Authors Jayadev Misra

Publication date 1990

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

Full work available at URL https://doi.org/10.1016/0167-6423(90)90019-a

zbMATH Keywords

auxiliary variablesbounded bagcommunicating processesconcurrent objectsmultisetUNITY logic

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Specification of concurrent objects using auxiliary variables
• Publication:4203802
• scientific article; zbMATH DE number 3999273
• scientific article; zbMATH DE number 47176
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)

Cited in

(19)

• Views of queues
• Derivation of concurrent programs: Two examples
• Defining concurrent processes constructively
• Two finite specifications of a queue
• Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract)
• A specification formalism for interacting objects
• scientific article; zbMATH DE number 1693511 (Why is no real title available?)
• A structural approach to prophecy variables
• scientific article; zbMATH DE number 3943005 (Why is no real title available?)
• scientific article; zbMATH DE number 4020456 (Why is no real title available?)
• scientific article; zbMATH DE number 4123275 (Why is no real title available?)
• scientific article; zbMATH DE number 3999273 (Why is no real title available?)
• Application of the composition principle to unity-like specifications
• Constructing systems as object communities
• Fairness and hyperfairness
• Integrated Formal Methods
• Bounded stacks, bags and queues
• Specification structures and propositions-as-types for concurrency
• Specification of concurrent objects using auxiliary variables

This page was built for publication: Specifying concurrent objects as communicating processes

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