On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions

Une des principales differences, actuellement, entre MEIJE et SCCS se trouve dans les limites que le calcul precedent etablit a l'interieur de sa syntaxe sur la creation de choix de comportement inifini a chaque point du processus

[1]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[2]  Gérard Boudol,et al.  Algèbre de Processus et Synchronisation , 1984, Theor. Comput. Sci..