[...] qui est aux systèmes concurrents ce que le lambda-calcul est aux systèmes séquentiels,
En même temps le lambda-calcul a une légitimité que le pi-calcul n'a pas, au sens où tout le monde s'accorde à dire qu'il est le socle de base du calcul séquentiel, alors que les gens s'entre-déchirent encore pour savoir quel est le bon formalisme ultime pour la concurrence : s'agit-il de CCS, CSP, d'une des 42 variantes du pi-calcul, des ambiants, d'un formalisme basé sur les automates, des réseaux de Petri, de la logique linéaire différentielle... ?! À titre d'exemple, Milner travaillait dans ses dernières années sur les « bigraphs », qui sont encore un autre formalisme, très graphique cette fois-ci et assez différent de ses essais précédents (CCS et le pi-calcul).
Les grandes idées ont probablement émergé mais il semble que le domaine ne soit pas encore assez mûr pour offrir une vision unifiée et propre de ce qu'est la concurrence. Les papiers « Yet Another Process Calculus » ont encore de beaux jours devant eux à CONCUR et ailleurs.
[^] # Re: Un des « grands anciens »
Posté par auve . En réponse au journal Nécrologie : Robin Milner.. Évalué à 3.
En même temps le lambda-calcul a une légitimité que le pi-calcul n'a pas, au sens où tout le monde s'accorde à dire qu'il est le socle de base du calcul séquentiel, alors que les gens s'entre-déchirent encore pour savoir quel est le bon formalisme ultime pour la concurrence : s'agit-il de CCS, CSP, d'une des 42 variantes du pi-calcul, des ambiants, d'un formalisme basé sur les automates, des réseaux de Petri, de la logique linéaire différentielle... ?! À titre d'exemple, Milner travaillait dans ses dernières années sur les « bigraphs », qui sont encore un autre formalisme, très graphique cette fois-ci et assez différent de ses essais précédents (CCS et le pi-calcul).
Les grandes idées ont probablement émergé mais il semble que le domaine ne soit pas encore assez mûr pour offrir une vision unifiée et propre de ce qu'est la concurrence. Les papiers « Yet Another Process Calculus » ont encore de beaux jours devant eux à CONCUR et ailleurs.