Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics

The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-tune behaviour. In this paper we provide the complete operational semantics of this calculus.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Engineering Letters Jg. 19; H. 1; S. 38 - 45
Hauptverfasser: Gerardo, M, Sarria, M
Format: Journal Article
Sprache:Englisch
Veröffentlicht: 10.02.2011
Schlagworte:
Calculus
Concurrency
Mathematical analysis
Programming
Real time
Semantics
ISSN:1816-093X
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-tune behaviour. In this paper we provide the complete operational semantics of this calculus.
Bibliographie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:1816-093X