Join-Calcul

Le Join-Calcul est une algèbre de processus développé à l'Inria et inspiré de la machine abstraite chimique[1].

Il a servi de base pour le développement de plusieurs langages de programmation, tels que JoCaml (basé sur OCaml) et Cω (basé sur C#).

Références

  1. (en) Gérard Berry et Gérard Boudol, « The chemical abstract machine », POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,‎ , p. 81-94 (ISBN 0897913434)