dc.date.accessioned | 2014-09-26T14:26:16Z | |
dc.date.available | 2014-09-26T14:26:16Z | |
dc.date.issued | 2014 | |
dc.identifier.uri | http://hdl.handle.net/10852/41279 | |
dc.language.iso | en | en_US |
dc.relation.haspart | 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 | |
dc.relation.haspart | 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. | |
dc.relation.haspart | 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. | |
dc.relation.haspart | 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. | |
dc.relation.uri | https://doi.org/10.1016/j.jlap.2012.01.003 | |
dc.title | Verification of Asynchronously Communicating Objects | en_US |
dc.type | Doctoral thesis | en_US |
dc.creator.author | Din, Crystal Chang | |
dc.identifier.urn | URN:NBN:no-45836 | |
dc.type.document | Doktoravhandling | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/41279/1/1494_Din_materie-DUO.pdf | |