-
Reducing Weak to Strong Bisimilarity in CCP
International audience -
Partition Refinement for Bisimilarity in CCP
International audience -
Models and Emerging Trends of Concurrent Constraint Programming
International audience -
The Epistemic View of Concurrency Theory
This dissertation describes three distinct but complementary ways in which epistemic reasoning plays a role in concurrency theory. The first and perhaps the one least...
