Communicating concurrent objects in hiddenCCS

MaRDI QIDQ2849870zbMATH OpenFDO

Authors Gabriel Ciobanu, Dorel Lucanu

Publication date 20 September 2013

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Integrated Formal Methods
• scientific article; zbMATH DE number 5263437
• Verification, Model Checking, and Abstract Interpretation
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 1110831

Cited in

(3)

• Implementing sequentially consistent shared objects using broadcast and point-to-point communication
• Integrated Formal Methods
• Verification, Model Checking, and Abstract Interpretation

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Communicating concurrent objects in hiddenCCS

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