An Implementation of the MR Calculus

Jens Christian Godskesen, Thomas Hildebrandt, Søren Eduard Jacobsen

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

Abstract

We demonstrate a simulator for the Mobile Resource Calculus (MR), called MRsim. First, an overview of the syntax and semantics of MR is given, along with an explanation of how the calculus is implemented. The second part of the paper gives an example of how the simulator is used.
OriginalsprogEngelsk
UdgivelsesstedCopenhagen
ForlagIT-Universitetet i København
UdgaveTR-2002-14
Antal sider18
ISBN (Elektronisk)87-7949-017-4
StatusUdgivet - apr. 2002
Udgivet eksterntJa
NavnIT University Technical Report Series
NummerTR-2002-14
ISSN1600-6100

Fingeraftryk

Dyk ned i forskningsemnerne om 'An Implementation of the MR Calculus'. Sammen danner de et unikt fingeraftryk.

Citationsformater