Extended dynamic state and instances spawning model in IPCL

zbMATH Open1413.68017MaRDI QIDQ4559068FDOQ4559068

Authors T. V. Panchenko, Ye. V. Ivanov, Sunmade Fabunmi, A. V. Skidonenko, Ye. O. Trofymenko 

Publication date 30 November 2018

zbMATH Keywords

concurrent programinterleavingtransition systemsoftware correctnesscomposition-nominative languageatomic operationIPCL

Mathematics Subject Classification ID

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

Recommendations

• Some atomic operator's semantics in IPCL
• Formalization of parallelism forms in IPCL
• A model of dynamical concurrent program execution
• Parallel dynamic semantics of sequential programs with speculative and incremental computation
• Parallel program schemata

Cited in

(2)

• Some atomic operator's semantics in IPCL
• Formalization of parallelism forms in IPCL

This page was built for publication: Extended dynamic state and instances spawning model in IPCL

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