An Epistemic Perspective on Consistency of Concurrent Computations

Klaus von Gleissenthall, Andrey Rybalchenko. An Epistemic Perspective on Consistency of Concurrent Computations. In Pedro R. D'Argenio, HernĂ¡n C. Melgratti, editors, CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Volume 8052 of Lecture Notes in Computer Science, pages 212-226, Springer, 2013. [doi]

Authors

Klaus von Gleissenthall

This author has not been identified. Look up 'Klaus von Gleissenthall' in Google

Andrey Rybalchenko

This author has not been identified. Look up 'Andrey Rybalchenko' in Google