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

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-6 of 6

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Compositional and sound seasoning about active objects with shared futures 
Din, Crystal Chang; Owe, Olaf (Research report / Forskningsrapport, 2014)
Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. The future mechanism extends the traditional method ...
A comparison of runtime assertion checking and theorem proving for concurrent and distributed systems 
Din, Crystal Chang; Owe, Olaf; Bubel, Richard (Research report / Forskningsrapport, 2013)
We investigate the usage of a history-based specification approach for concurrent and distributed systems. In particular, we compare two approaches on checking that those systems behave according to their specification. ...
Dynamic Structural Operational Semantics (preliminary version) 
Johansen, Christian; Owe, Olaf (Research report / Forskningsrapport / SubmittedVersion; Peer reviewed, 2012)
We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades. Dynamic SOS is built on top of theModular SOS of P.Mosses, with an underlying category theory ...
An approach to compositional reasoning about concurrent objects and futures 
Din, Crystal Chang; Dovland, Johan; Owe, Olaf (Research report / Forskningsrapport, 2012)
Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. Rather than performing analysis at the code level of ...
Towards an object-oriented modeling language for probabalistic open distributed systems 
Bentea, Lucian; Owe, Olaf (Research report / Forskningsrapport, 2010)
In this paper, we propose a probabilistic extension of the Creol modeling language, called PCreol, for which we give the operational semantics in Probabilistic Rewrite Logic. We give details on the implementation of a ...
Observable behavior of distributed systems : component reasoning for concurrent objects 
Din, Crystal Chang; Dovland, John; Johnsen, Einar Broch; Owe, Olaf (Research report / Forskningsrapport, 2010)
We present a partial correctness proof system for ABS, an imperative, concurrent and object-oriented language which provides asynchronous communication model that is suitable for loosely coupled objects in the distributed ...
 
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 CommunityBy Issue DateAuthorsTitles

For library staff

Login

Discover

Date Issued2014 (1)2013 (1)2012 (2)2010 (2)Document Type
Forskningsrapport (6)
Author
Owe, Olaf (6)
Din, Crystal Chang (4)Bentea, Lucian (1)Bubel, Richard (1)Dovland, Johan (1)... View MorePeer ReviewedPeer reviewed (1)
RSS Feeds
feedRSS 2.0
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy