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

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

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)

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)