Specification and verification of dynamic properties in distributed computations

DOI10.1006/JPDC.1995.1098zbMATH Open0939.68637DBLPjournals/jpdc/BabaogluR95OpenAlexW2056042192WikidataQ59491560 ScholiaQ59491560MaRDI QIDQ1898183

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)