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.
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 language | English |
---|---|
Title of host publication | 20th Nordic Workshop on Programming TheoryNWPT 2008 : Abstracts |
Number of pages | 3 |
Publisher | Department of Computer Science, Tallinn University of Technology |
Publication date | 2008 |
Pages | 60-62 |
ISBN (Print) | 978-9949-430-24-6 |
Publication status | Published - 2008 |
Event | 20th Nordic Workshop on Programming Theory - Tallin, Estonia Duration: 19 Nov 2008 → 21 Nov 2008 Conference number: 20 |
Conference
Conference | 20th Nordic Workshop on Programming Theory |
---|---|
Number | 20 |
Country/Territory | Estonia |
City | Tallin |
Period | 19/11/2008 → 21/11/2008 |