Search
Now showing items 31-40 of 146
(Research report / Forskningsrapport, 2010)
(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 ...
(Research report / Forskningsrapport, 2011)
Feil nr (409) på tittelbladet. Skal være Research report nr 406.
(Research report / Forskningsrapport, 2012)
CLIMIT project no. 208122
(Research report / Forskningsrapport, 2012)
This report extends our behavioral type and effect system for detecting dealocks in [8] by polymorphism and formalizing type inference (wrt. the lock types. Our inference is defined for a simple concurrent, first-order ...
(Research report / Forskningsrapport, 2011)
(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. ...
(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 ...
(Research report / Forskningsrapport, 2013)
We find a maximum principle for processes driven by martingale random fields. We do so by describing the adjoint processes with non-anticipating stochastic derivatives. In the case of the Levy processes this mimics maximum ...
(Research report / Forskningsrapport, 2013)
We consider a backward stochastic di erential equation with jumps (BSDEJ) which is driven by a Brownian motion and a Poisson random measure. We present two candidate-approximations to this BSDEJ and we prove that the ...