A Semantics for a Real-Time Actor Language

Istvan Knoll, Anders Peter Ravn, Arne Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstract

In order to develop simulators and analysis tools for an actor
based real-time language, we define its semantics. The semantics
is interesting in itself, as it models the functional, communication,
and timing aspects separately, allowing several variants of
the language to be investigated.
OriginalsprogEngelsk
Titel20th Nordic Workshop on Programming TheoryNWPT 2008 : Abstracts
Antal sider3
ForlagDepartment of Computer Science, Tallinn University of Technology
Publikationsdato2008
Sider60-62
ISBN (Trykt)978-9949-430-24-6
StatusUdgivet - 2008
Begivenhed20th Nordic Workshop on Programming Theory - Tallin, Estland
Varighed: 19 nov. 200821 nov. 2008
Konferencens nummer: 20

Konference

Konference20th Nordic Workshop on Programming Theory
Nummer20
Land/OmrådeEstland
ByTallin
Periode19/11/200821/11/2008

Citationsformater