scientific article; zbMATH DE number 1546500
From MaRDI portal
Publication:4522244
Recommendations
- A separation logic for refining concurrent objects
- A calculus for concurrent objects
- Concurrency control for object bases
- Specifying concurrent object-oriented systems
- Formal Methods in Software and Systems Modeling
- Abstraction for Concurrent Objects
- Abstraction for concurrent objects
- On the inherent sequentiality of concurrent objects
- Tractable refinement checking for concurrent objects
Cited in
(11)- Specification and refinement of mobile systems in MTLA and mobile UML
- Unifying Concurrent Objects and Distributed Tasks
- Brief Announcement
- scientific article; zbMATH DE number 2090572 (Why is no real title available?)
- Verification and refinement with fine-grained action-based concurrent objects
- Concurrent object-oriented programs: from specification to code.
- Tractable refinement checking for concurrent objects
- scientific article; zbMATH DE number 6316140 (Why is no real title available?)
- Dynamic rebinding for concurrent object groups: theory and practice
- scientific article; zbMATH DE number 1760054 (Why is no real title available?)
- Procedures and atomicity refinement
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4522244)
