32 citations · 54 across the 12 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.PL2012★ 3 cited
Reducing Weak to Strong Bisimilarity in CCP
Andrés Aristizábal, Filippo Bonchi, Luis Pino +1
Concurrent constraint programming (ccp) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evo…
cs.LO2012★ 7 cited
Partition Refinement for Bisimilarity in CCP
Andrés Aristizábal, Filippo Bonchi, Luis Pino +1
Saraswat's concurrent constraint programming (ccp) is a mature formalism for modeling processes (or programs) that interact by telling and asking constraints in a global medium, ca…