Relaxing synchronization constraints in behavioral programs

DOI10.1007/978-3-642-45221-5_25MaRDI QIDQ2870140zbMATH OpenOpenAlexFDO

Authors David Harel, Amir Kantor, Guy Katz

Publication date 17 January 2014

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-45221-5_25

zbMATH Keywords

behavioral programmingdistributed designeager executionmodular designsynchronization

Mathematics Subject Classification ID

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

Recommendations

• Program parallelization using synchronized pipelining
• A model of dynamical concurrent program execution
• scientific article; zbMATH DE number 1830933
• Cell: A Distributed Computing Modularization Concept
• Asynchronous programming facilities for multiprocessor systems

This page was built for publication: Relaxing synchronization constraints in behavioral programs

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