Compositional properties of sequential processes

MaRDI QIDQ2849554zbMATHFDO

Authors Naijun Zhan

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104053277

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 1304336
• scientific article; zbMATH DE number 2087435
• scientific article; zbMATH DE number 1333607
• Parallel and symbolic model checking for fixpoint logic with chop

Cited in

(3)

• Comonotonic processes
• Composing ordered sequential consistency
• Compositionality Entails Sequentializability

This page was built for publication: Compositional properties of sequential processes

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