12 citations · 26 across the 13 of their papers we have counts for
3 papers · 1 filter
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…
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…
Hide and New in the Pi-Calculus
Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus represent…