An Epistemic Perspective on Consistency of Concurrent Computations

DOI10.1007/978-3-642-40184-8_16zbMath1390.68491arXiv1305.2295OpenAlexW1538578021MaRDI QIDQ2842109

Klaus von Gleissenthall, Andrey Rybalchenko

Publication date: 12 August 2013

Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.2295

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logics of knowledge and belief (including belief change) (03B42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: An Epistemic Perspective on Consistency of Concurrent Computations