Please erase this article, thank you
Concurrency is concerned with systems of multiple computing agents that interact with each other. Bisimilarity is one of the main representatives of these. Concurrent Constrain Programming (ccp) is a formalism that combines the traditional and algebraic view of process calculi with a declarative one...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Ecole Polytechnique X
2012
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00755356 http://pastel.archives-ouvertes.fr/docs/00/75/53/56/PDF/tesis.pdf http://pastel.archives-ouvertes.fr/docs/00/75/53/56/ANNEX/Soutenance-These.pdf |