-
Bisimulation Techniques and Algorithms for Concurrent Constraint Programming
Concurrency is concerned with systems of multiple computing agents that interact with each other. Bisimilarity is one of the main representatives of these. Concurrent... -
Partition Refinement for Bisimilarity in CCP
International audience
