1 citations · 2 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2015★ 1 cited
Modeling Hybrid Systems in the Concurrent Constraint Paradigm
Damián Adalid, María del Mar Gallardo, Laura Titolo
Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is a…
cs.PL2014★ 1 cited
Modeling Hybrid Systems in Hy-tccp
Damian Adalid, Maria del Mar Gallardo, Laura Titolo
Concurrent,reactive and hybrid systems require quality modeling languages to be described and analyzed. The Timed Concurrent Constraint Language (tccp) was introduced as a simple b…