scientific article; zbMATH DE number 1760054

zbMATH Open0996.68846MaRDI QIDQ4536993FDOQ4536993

Authors: António Rito-Silva 

Publication date: 6 November 2002

Title of this publication is not available (Why is that?)

Recommendations

• Implement of synchronization of concurrent objects
• Integrated Formal Methods
• scientific article; zbMATH DE number 1546500
• A method for solving synchronization problems
• Another approach to the implementation of synchronization primitives

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

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 Q4536993)