Stefani and coauthors, in various papers, have advocated the usefulness of constructs for localities and passivation in higher-order process languages. They have also shown that the constructs may have surprising consequences on the theory of the languages. In this paper, dedicated to Jean-Bernard Stefani, we show that, in contrast, proof techniques based on unique-solution of equations are robust enough to bear the presence of such constructs.
Sangiorgi, D. (2026). Unique-Solution of Equations in Higher-Order Process Calculi with Passivation. Springer Science and Business Media Deutschland GmbH [10.1007/978-3-031-99717-4_4].
Unique-Solution of Equations in Higher-Order Process Calculi with Passivation
Sangiorgi, Davide
2026
Abstract
Stefani and coauthors, in various papers, have advocated the usefulness of constructs for localities and passivation in higher-order process languages. They have also shown that the constructs may have surprising consequences on the theory of the languages. In this paper, dedicated to Jean-Bernard Stefani, we show that, in contrast, proof techniques based on unique-solution of equations are robust enough to bear the presence of such constructs.| File | Dimensione | Formato | |
|---|---|---|---|
|
Stefani_Iris.pdf
embargo fino al 18/10/2026
Descrizione: articolo completo
Tipo:
Postprint / Author's Accepted Manuscript (AAM) - versione accettata per la pubblicazione dopo la peer-review
Licenza:
Licenza per accesso libero gratuito
Dimensione
462.52 kB
Formato
Adobe PDF
|
462.52 kB | Adobe PDF | Visualizza/Apri Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
