Specification and verification of dynamic properties in distributed computations

DOI10.1006/JPDC.1995.1098MaRDI QIDQ1898183zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Michel Raynal, Ozalp Babaoglu

Publication date 26 February 1996

Published in Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jpdc.1995.1098

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Specification and verification of dynamic properties in distributed computations

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