IOS Press AConvex Powerdomain over Lattices: its Logic and-Calculus (2008)
Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro
Abstract. To model at the same time parallel and nondeterministic functional calculi we de ne a powerdomain functor P such that it is an endofunctor over the category of algebraic lattices. P is...
of the domain equation D = P([D! D]?). We derive from the algebras of P the logic (2007)
Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D
Abstract. To model at the same time parallel and non-deterministic functional calculi we define a powerdomain functor P such that it is an endofunctor over the category of algebraic lattices. P is...
On Progress for Structured Communications (2007)
Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Nobuko Yoshida
Abstract. We propose a new typing system for the π-calculus with sessions, which ensures the progress property, i.e. once a session has been initiated, typable processes will never starve at session...
A Convex Powerdomain over Lattices: its Logic and λ-Calculus (1997)
Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D
To model at the same time parallel and nondeterministic functional calculi we define a powerdomain functor P such that it is an endofunctor over the category of algebraic lattices. P is locally...
Non-deterministic untyped-calculus A study about explicit non determinism in higher-order functional calculi