Searching for authors named "Francesco Zappa Nardelli" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Types for Seal Calculus
- … in Informatica Master Thesis Types for Seal Calculus Candidate Francesco Zappa Nardelli Supervisor Giuseppe…
- Cited by 1 (0 self) – Add To MetaCart
-
The Seal Calculus Revisited: contextual equivalence and bisimilarity
- … and Francesco Zappa Nardelli LIENS (CNRS), 45, rue d'Ulm, 75005 Paris, France. {castagna,zappa…
- Cited by 21 (3 self) – Add To MetaCart
-
Bisimulation Proof Methods for Mobile Ambients
- … Francesco Zappa Nardelli: zappa@(email omitted); LIENS (CNRS), Departement d'Informatique, ENS, 45, rue d'Ulm, 75013…
- Cited by 13 (3 self) – Add To MetaCart
Showing 1 through 3.
