Implement of synchronization of concurrent objects

MaRDI QIDQ3428758zbMATH OpenFDO

Authors Balázs Ugron, László Kozma, Szabolcs Hajdara, László Blum

Publication date 29 March 2007

zbMATH Keywords

synchronization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Specifying concurrent object-oriented systems
• Synthesis of a system composed by many similar objects
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• scientific article; zbMATH DE number 3870578
• Distributed Computing

Cited in

(9)

• Specifying concurrent object-oriented systems
• Synthesis of a system composed by many similar objects
• Another approach to the implementation of synchronization primitives
• Synchronization abstraction in the BETA programming language
• scientific article; zbMATH DE number 1760054 (Why is no real title available?)
• An extension of synthesis of the synchronization of object-oriented pipeline systems
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 2213335 (Why is no real title available?)
• Synchronizing the consistency relation

This page was built for publication: Implement of synchronization of concurrent objects

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