Searching for "The Seal Calculus." – sorted by Relevance.
-
The Seal Calculus
- Abstract Information and Computation 201 (2005) 1–54 The Seal Calculus G. Castagna a, ∗ , J. Vitek
- Cited by 10 (0 self) – Add To MetaCart
-
Commitment and confinement for the Seal calculus
- Commitment and confinement for the Seal calculus Giuseppe Castagna Jan Vitek C.N.R.S, Laboratoire
- Add To MetaCart
-
Typing mobility in the Seal Calculus
- Typing mobility in the Seal Calculus Giuseppe Castagna 1 , Giorgio Ghelli 2 , Francesco Zappa
- Cited by 15 (4 self) – Add To MetaCart
-
Typing mobility in the Seal Calculus
- Typing mobility in the Seal Calculus Giuseppe Castagna 1 , Giorgio Ghelli 2 , Francesco Zappa
- Add To MetaCart
-
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
- The Seal Calculus Revisited: contextual equivalence and bisimilarity # Giuseppe Castagna
- Cited by 21 (3 self) – Add To MetaCart
-
O l d h a m & J. S p a n i e r, The Fractional Calculus
- Abstract Information and Computation 201 (2005) 1–54 The Seal Calculus G. Castagna a, ∗ , J. Vitek
- Cited by 1 (0 self) – Add To MetaCart
-
Towards a Calculus of Secure Mobile Computations
- .Castagna@(email omitted); Abstract The Seal calculus is a calculus of mobile computations designed for programming secure
- Cited by 14 (1 self) – Add To MetaCart
-
The Kell calculus: operational semantics and type system
- the original insights of the Seal calculus (local actions, process replication) and of the M-calculus
- Cited by 9 (1 self) – Add To MetaCart
-
Seal: A Framework for Secure Mobile Computations
- 'Ecole Normale Sup'erieure, Paris, France Abstract. The Seal calculus is a distributed process calculus
- Cited by 81 (4 self) – Add To MetaCart

