-
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... -
Un an de droit de la propriété industrielle des produits pharmaceutiques
International audience
