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

DOI10.1007/3-540-59173-7zbMATH Open0813.68034OpenAlexW4210436105MaRDI QIDQ1805037FDOQ1805037

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)

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

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)