Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism

DOI10.1007/3-540-59173-7MaRDI QIDQ1805037zbMATHOpenAlexFDO

Authors Josyula Ramachandra Rao

Publication date 7 May 1995

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59173-7

zbMATH Keywords

program verificationparallel programsUNITYUNITY methodology

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited in

(4)

• Composing leads-to properties
• Integrating stochastic reasoning into Event-B development
• Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing
• A modular coding of \textsc{Unity} in \textsc{Coq}

This page was built for publication: Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism

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