• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
View Item 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Verification of Asynchronously Communicating Objects

Din, Crystal Chang
Doctoral thesis
View/Open
1494_Din_materie-DUO.pdf (413.8Kb)
Year
2014
Permanent link
http://urn.nb.no/URN:NBN:no-45836

Metadata
Show metadata
Appears in the following Collection
  • Institutt for informatikk [3603]
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.
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login
RSS Feeds
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy