scientific article; zbMATH DE number 2213335

MaRDI QIDQ5696202zbMATH OpenFDO

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

Publication date 26 January 2006

zbMATH Keywords

parallel systemspipelinesemantic tableauxsynthesistemporal logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• An extension of synthesis of the synchronization of object-oriented pipeline systems
• Synthesis of a system composed by many similar objects
• scientific article; zbMATH DE number 1857500
• Implement of synchronization of concurrent objects
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC

Cited in

(2)

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

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