scientific article; zbMATH DE number 1546500
From MaRDI portal
Publication:4522244
zbMATH Open0965.68023MaRDI QIDQ4522244FDOQ4522244
Authors: Martin Büchi, Emil Sekerinski 
Publication date: 19 December 2000
Title of this publication is not available (Why is that?)
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)
- Unifying Concurrent Objects and Distributed Tasks
- Specification and refinement of mobile systems in MTLA and mobile UML
- Brief Announcement
- Title not available (Why is that?)
- Concurrent object-oriented programs: from specification to code.
- Verification and refinement with fine-grained action-based concurrent objects
- Tractable refinement checking for concurrent objects
- Title not available (Why is that?)
- Dynamic rebinding for concurrent object groups: theory and practice
- Title not available (Why is that?)
- 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)
