Layered reasoning for randomized distributed algorithms
From MaRDI portal
Publication:1941864
DOI10.1007/s00165-012-0231-xzbMath1259.68114WikidataQ57801088 ScholiaQ57801088MaRDI QIDQ1941864
Joost-Pieter Katoen, Mani Swaminathan, Ernst-Ruediger Olderog
Publication date: 22 March 2013
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-012-0231-x
probabilistic automata; communication closedness; layered composition and separation; partial order equivalence; randomizedmutual exclusion
Uses Software