5 minutes c'est léger

Retourner au contenu associé (entrée de forum : Comparaison ADA / CSP)

[^] # 5 minutes c'est léger

Posté par Antoine Reilles le 16 décembre 2006 à 16:15. En réponse au message Comparaison ADA / CSP. Évalué à 1.

En fait, pour CSP, j'imagine qu'il parlait de
http://en.wikipedia.org/wiki/Communicating_sequential_proces(...)

qui n'est pas vraiment nouveau, mais plutôt intéressant
et du coup, il faut lire:
http://www.usingcsp.com/
par Tony Hoare, qui en connait un rayon

Dijkstra a lui aussi écrit un "Cooperating Sequential Processes"

En plus, ça ouvre tout un tas de champs intéresssatns sur les algèbres de processus, le pi-calcul (http://en.wikipedia.org/wiki/Pi-calculus), et tout ça, comme le join-calcul (http://en.wikipedia.org/wiki/Join-calculus), avec des implémentations comme le langage JoCaml
http://moscova.inria.fr/jocaml/