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 in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
