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

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!