Synthesis of a system composed by many similar objects

MaRDI QIDQ3428710zbMATH OpenFDO

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

Publication date 29 March 2007

zbMATH Keywords

parallel programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• An extension of synthesis of the synchronization of object-oriented pipeline systems
• scientific article; zbMATH DE number 1361120
• scientific article; zbMATH DE number 4060695
• Implement of synchronization of concurrent objects
• Synthesis of large dynamic concurrent programs from dynamic specifications

Cited in

(4)

• Implement of synchronization of concurrent objects
• scientific article; zbMATH DE number 1361120 (Why is no real title available?)
• An extension of synthesis of the synchronization of object-oriented pipeline systems
• scientific article; zbMATH DE number 2213335 (Why is no real title available?)

This page was built for publication: Synthesis of a system composed by many similar objects

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