Verification of Asynchronously Communicating Objects

Din, Crystal Chang
Doctoral thesis
View/Open
Year
2014
Permanent link
http://urn.nb.no/URN:NBN:no-45836

Metadata
Show metadata
Appears in the following Collection
Abstract
No abstract.
List of papers
Paper 1: Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects. Crystal Chang Din, Johan Dovland, Einar Broch Johnsen and Olaf Owe. The Journal of Logic and Algebraic Programming (2012) The paper is removed from the thesis in DUO due to publisher restrictions. The published version is available at: https://doi.org/10.1016/j.jlap.2012.01.003
Paper 2: A Sound and Complete Reasoning System for Asynchronous Communication with Shared Futures. Crystal Chang Din and Olaf Owe. The Journal of Logic and Algebraic Programming (to appear). The paper is removed from the thesis in DUO due to publisher restrictions.
Paper 3: Compositional Reasoning about Active Objects with Shared Futures. Crystal Chang Din and Olaf Owe. Submitted to The Journal of Formal Aspects of Computing. A short version of this paper has been published at SEFM’12. The paper is removed from the thesis in DUO due to publisher restrictions.
Paper 4: A Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. Crystal Chang Din, Olaf Owe and Richard Bubel. Submitted to The Journal of Logic and Algebraic Programming. A short version of this paper has been published at MODELSWARD’14. The paper is removed from the thesis in DUO due to publisher restrictions.