Sciweavers

2272 search results - page 165 / 455
» A Calculus for
Sort
View
ACTA
2005
90views more  ACTA 2005»
15 years 4 months ago
MOMI: a calculus for mobile mixins
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
Lorenzo Bettini, Betti Venneri, Viviana Bono
CJ
2004
105views more  CJ 2004»
15 years 4 months ago
Generalized Template Splay: A Basic Theory and Calculus
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
George F. Georgakopoulos, David J. McClurkin
CORR
2004
Springer
81views Education» more  CORR 2004»
15 years 4 months ago
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwin...