A Semantics for a Real-Time Actor Language

Istvan Knoll; Anders Peter Ravn; Arne Skou

A Semantics for a Real-Time Actor Language

Istvan Knoll, Anders Peter Ravn, Arne Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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.

Originalsprog	Engelsk
Titel	20th Nordic Workshop on Programming TheoryNWPT 2008 : Abstracts
Antal sider	3
Forlag	Department of Computer Science, Tallinn University of Technology
Publikationsdato	2008
Sider	60-62
ISBN (Trykt)	978-9949-430-24-6
Status	Udgivet - 2008
Begivenhed	20th Nordic Workshop on Programming Theory - Tallin, Estland Varighed: 19 nov. 2008 → 21 nov. 2008 Konferencens nummer: 20

Konference

Konference	20th Nordic Workshop on Programming Theory
Nummer	20
Land/Område	Estland
By	Tallin
Periode	19/11/2008 → 21/11/2008

Adgang til dokumentet

http://cs.ioc.ee/nwpt08/abstracts-book.pdf

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{c0a2c760dca911dda016000ea68e967b,

title = "A Semantics for a Real-Time Actor Language",

abstract = "In order to develop simulators and analysis tools for an actorbased real-time language, we define its semantics. The semanticsis interesting in itself, as it models the functional, communication,and timing aspects separately, allowing several variants ofthe language to be investigated.",

author = "Istvan Knoll and Ravn, {Anders Peter} and Arne Skou",

year = "2008",

language = "English",

isbn = "978-9949-430-24-6",

pages = "60--62",

booktitle = "20th Nordic Workshop on Programming TheoryNWPT 2008",

publisher = "Department of Computer Science, Tallinn University of Technology",

note = "20th Nordic Workshop on Programming Theory ; Conference date: 19-11-2008 Through 21-11-2008",

}

TY - GEN

T1 - A Semantics for a Real-Time Actor Language

AU - Knoll, Istvan

AU - Ravn, Anders Peter

AU - Skou, Arne

N1 - Conference code: 20

PY - 2008

Y1 - 2008

N2 - In order to develop simulators and analysis tools for an actorbased real-time language, we define its semantics. The semanticsis interesting in itself, as it models the functional, communication,and timing aspects separately, allowing several variants ofthe language to be investigated.

AB - In order to develop simulators and analysis tools for an actorbased real-time language, we define its semantics. The semanticsis interesting in itself, as it models the functional, communication,and timing aspects separately, allowing several variants ofthe language to be investigated.

M3 - Article in proceeding

SN - 978-9949-430-24-6

SP - 60

EP - 62

BT - 20th Nordic Workshop on Programming TheoryNWPT 2008

PB - Department of Computer Science, Tallinn University of Technology

T2 - 20th Nordic Workshop on Programming Theory

Y2 - 19 November 2008 through 21 November 2008

ER -

A Semantics for a Real-Time Actor Language

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater