DocumentCode
585645
Title
An interpreter for the rtcc calculus
Author
Sarria M, Gerardo M.
Author_Institution
Pontificia Univ. Javeriana, Cali, Colombia
fYear
2012
fDate
1-5 Oct. 2012
Firstpage
1
Lastpage
6
Abstract
The purpose of a computational model is to create a non-physical representation of a system in order to prove properties of the system and to run simulations. The rtcc calculus is a formalism developed for modeling real-time and reactive systems. This paper presents the design and implementation details of an interpreter for this calculus. This interpreter was created to better visualize the behavior of systems, to make possible the viewing of the results of rtcc models in real-time, and to allow proving properties in those models.
Keywords
calculus; concurrency control; constraint handling; program interpreters; real-time systems; RTCC calculus interpreter; computational model; nonphysical representation; reactive systems; real-time systems; Calculus; Computational modeling; Delay; Reactive power; Real-time systems; Semantics; Syntactics; Interpreter; Process Calculus; Programming; RTCC; Theory of Computation;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing Congress (CCC), 2012 7th Colombian
Conference_Location
Medellin
Print_ISBN
978-1-4673-1475-6
Type
conf
DOI
10.1109/ColombianCC.2012.6398040
Filename
6398040
Link To Document