1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…