Searching for "The Seal Calculus." – sorted by Relevance.
74 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
