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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	World Congress on Engineering 2012. July 4-6, 2012. London, UK Jg. 2186; S. 9 - 14
Hauptverfasser:	Gerardo, M, Sarria, M
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.03.2010
Schlagworte:	Calculus Delay Mathematical analysis Programming Real time Semantics Ticks
ISSN:	2078-0958
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!