An input/output semantics for distributed program equivalence reasoning

MaRDI QIDQ2850665zbMATH OpenFDO

Authors Miquel Bertran, Francesc Babot, August Climent

Publication date 27 September 2013

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal communication elimination and sequentialization equivalence proofs for distributed system models
• Distributed bisimulations
• A compositional proof system for distributed programs
• scientific article; zbMATH DE number 4104372
• Verification of distributed programs using representative interleaving sequences

Cited in

(3)

• Formal sequentialization of distributed systems via program rewriting
• scientific article; zbMATH DE number 4201637 (Why is no real title available?)
• Formal communication elimination and sequentialization equivalence proofs for distributed system models

This page was built for publication: An input/output semantics for distributed program equivalence reasoning

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