Specifying concurrent object-oriented systems
From MaRDI portal
Recommendations
- Temporal theories as modularisation units for concurrent system specification
- scientific article; zbMATH DE number 1304384
- Implement of synchronization of concurrent objects
- Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
- scientific article; zbMATH DE number 47176
Cited in
(12)- An object-oriented concurrent programming language
- Specification of object-oriented systems
- A specification technique for scheduling the methods of concurrent objects
- Implement of synchronization of concurrent objects
- scientific article; zbMATH DE number 1110831 (Why is no real title available?)
- scientific article; zbMATH DE number 1546500 (Why is no real title available?)
- scientific article; zbMATH DE number 1760165 (Why is no real title available?)
- ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement
- Constructing systems as object communities
- An extension of synthesis of the synchronization of object-oriented pipeline systems
- Brief Announcement
- Specification of concurrent objects using auxiliary variables
This page was built for publication: Specifying concurrent object-oriented systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2765661)
