A Semantics for a Real-Time Actor Language

Istvan Knoll, Anders Peter Ravn, Arne Skou

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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.
Original languageEnglish
Title of host publication20th Nordic Workshop on Programming TheoryNWPT 2008 : Abstracts
Number of pages3
PublisherDepartment of Computer Science, Tallinn University of Technology
Publication date2008
Pages60-62
ISBN (Print)978-9949-430-24-6
Publication statusPublished - 2008
Event20th Nordic Workshop on Programming Theory - Tallin, Estonia
Duration: 19 Nov 200821 Nov 2008
Conference number: 20

Conference

Conference20th Nordic Workshop on Programming Theory
Number20
Country/TerritoryEstonia
CityTallin
Period19/11/200821/11/2008

Cite this