Improving the Real-Time Concurrent Constraint Calculus with a Delay Declaration

The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-time behaviour. In this paper we enhance this calculus by extending the concept of time as a discrete sequence of minimal units that we will call ticks. We also add a new...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:World Congress on Engineering 2012. July 4-6, 2012. London, UK Ročník 2186; s. 9 - 14
Hlavní autoři: Gerardo, M, Sarria, M
Médium: Journal Article
Jazyk:angličtina
Vydáno: 01.03.2010
Témata:
Calculus
Delay
Mathematical analysis
Programming
Real time
Semantics
Ticks
ISSN:2078-0958
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-time behaviour. In this paper we enhance this calculus by extending the concept of time as a discrete sequence of minimal units that we will call ticks. We also add a new construct to rtcc to be able of delaying the execution of a process for an amount of ticks. The operational semantics were adapted to support these new features. We argue that this extension makes the calculus temporally homogeneous and allows modeling real-time systems (such as an improvisation system where time is an inflexible notion) in a more precise way.
Bibliografie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ObjectType-Conference-3
SourceType-Conference Papers & Proceedings-2
ObjectType-Conference-1
ObjectType-Feature-3
ISSN:2078-0958