9 citations · 9 across the 1 of their papers we have counts for
1 paper · 1 filter
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e. systems that continuously interact with…