Comment

• Il existe une tension entre la création (ou l’ajout) d’un nouveau calcul et l’interprétation d’une nouvelle primitive

  • un calcul de processus n’a pas vocation à être généraliste

• Les techniques de la « sémantique opérationnelle » offre un cadre flexible et expressif à la conception de nouveau calculs

  • sémantiques big­step, small­step ou chimique; bisimulation et méthodes de preuves co-inductives; …