2 datasets found

We study the behavioural theory of piP, a pi-calculus featuring restriction as the only binder. In contrast with calculi such as Fusions and Chi, reduction in piP...

Les exigences que l'analyse permet de dégager sont 1) la fondation sur l'instrument et l'expérience ; 2) une bonne architecture mathématique, où tous les objets premiers sont...