A specification technique for scheduling the methods of concurrent objects

MaRDI QIDQ2770761zbMATH OpenFDO

Authors László Kozma, É. Rácz

Publication date 13 February 2002

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

object-oriented programming

Mathematics Subject Classification ID

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

Recommendations

• Concurrent object-oriented programs: from specification to code.
• Specifying concurrent object-oriented systems
• Extending statecharts for concurrent objects modeling
• scientific article; zbMATH DE number 5198934
• Concurrency possibilities in object-oriented languages

Cited in

(2)

• Modular Schedulability Analysis of Concurrent Objects in Creol
• Extending statecharts for concurrent objects modeling

This page was built for publication: A specification technique for scheduling the methods of concurrent objects

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