most citedAutomatic Verification of Timed Concurrent Constraint Programs

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2005★ 1 cited

Automatic Verification of Timed Concurrent Constraint Programs

Moreno Falaschi, Alicia Villanueva

The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent systems where…