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.

Podrobná bibliografie

Vydáno v:	Engineering Letters Ročník 19; číslo 1; s. 38 - 45
Hlavní autoři:	Gerardo, M, Sarria, M
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	10.02.2011
Témata:	Calculus Concurrency Mathematical analysis Programming Real time Semantics
ISSN:	1816-093X
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!