Quantitative static analysis of distributed systems

Journal of Functional Programming

Volumn 15, Issue 5, 2005, Pages 703-749

  Di Pierro, Alessandra ^a   Hankin, Chris ^b   Wiklicky, Herbert ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED SYSTEMS; DISTRIBUTED TUPLE SPACES; INFORMATION PROPAGATION; LINEAR OPERATORS; PROBABILISTIC ABSTRACT INTERPRETATION; PROCESS CALCULI; QUALITATIVE ANALYSIS; QUANTITATIVE APPROACH;

SEMANTICS;

MATHEMATICAL OPERATORS;

EID: 25444465212     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796805005599     Document Type: Article

References (31)

1. Albert, R., Jeong, H. and Barabási, A.-L. (2000) Attack and error tolerance in complex networks. Nature, 406, 387-482.
2. Bause, F. and Kritzinger, P. S. (2002) Stochastic petri nets - an introduction to the theory, 2nd ed. Vieweg Verlag.
3. Ben-Israel, A. and Greville, T. N. E. (2003) Generalised inverses - theory and applications, 2nd ed. CMS Books in Mathematics, vol. 15. Springer Verlag.
4. Bettini, L., Bono, V., De Nicola, R., Ferrari, G., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E. and Venneri, B. (2003) The KLAIM project: Theory and practice. In: C.Priami (ed), Global Computing: Programming environments, languages, security and analysis of systems: Lecture Notes in Computer Science 2874. Springer-Verlag.
5. Beutler, F. J. (1965) The operator theory of the pseudo-inverse. J. Math. Anal. Applic. 10, 451-493.
6. Böttcher, A. and Silbermann, B. (1999) Introduction to large truncated Toeplitz matrices. Springer-Verlag.
7. Buchholz, P. and Kemper, P. (2004) Kronecker based matrix representations for large Markov models. Technical report, Universität Dortmund.
8. Campbell, S. L. and Meyer, D. (1979) Generalized inverse of linear transformations. Constable and Co.
9. Conway, J. B. (1990) A course in functional analysis. 2nd ed. Graduate Texts in Mathematics, vol. 96. Springer-Verlag.
10. Cousot, P. and Cousot, R. (1977) Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Proceedings of POPL'77, pp. 238-252.
11. Cousot, P. and Cousot, R. (1992) Abstract Interpretation and Applications to Logic Programs. J. Logic Program. 13(2-3), 103-180.
12. De Nicola, R., Ferrari, G. L. and Pugliese, R. (1998) KLAIM: A kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315-330.
13. Deutsch, F. (2001) Bet Approximation in Inner Product Spaces. CMS Books in Mathematics, vol. 7. Springer-Verlag.
14. Di Pierro, A. and Wiklicky, H. (2000) Concurrent constraint programming: towards probabilistic abstract interpretation. Proceedings of PPDP'00, pp. 127-138. Montréal, Canada. ACM.
15. Di Pierro, A. and Wiklicky, H. (2001) Measuring the precision of abstract interpretations. Proceedings of LOPSTR'00: Lecture Notes in Computer Science 2042, pp. 147-164. Springer-Verlag.
16. Di Pierro, A., Hankin, C. and Wiklicky, H. (2002) Approximate non-interference. Proceedings of CSFW'02, pp. 3-17. Cape Breton, Canada. IEEE.
17. Di Pierro, A., Hankin, C. and Wiklicky, H. (2003) Quantitative relations and approximate process equivalences. In: Lugiez, D. (editor), Proceedings of CONCUR'03 - International Conference on Concurrency Theory: Lecture Notes in Computer Science 2761, pp. 508-522. Springer-Verlag.
18. Di Pierro, A., Hankin, C. and Wiklicky, H. (2004a) Approximate non-interference. J. Comput. Security, 1(12), 37-81.
19. Di Pierro, A., Hankin, C. and Wiklicky, H. (2004b) Continuous-time probabilistic KLAIM. Secco'04 - Concur workshop on Security issues in Coordination models, languages, and systems. Electronic Notes in Theoretical Computer Science. Elsevier.
20. Di Pierro, A., Hankin, C. and Wiklicky, H. (2004c) Probabilistic KLAIM. In: De Nicola, R., Ferrari, G. and Meredith, G. (editors), Proceedings of Coordination 2004: Lecture Notes in Computer Science 2949, pp. 119-134. Springer-Verlag.
21. Donatelli, S. (1993) Superposed stochastic automata: A class of stochastic Petri nets with parallel solution and distributed state space. Perf. Eval. 18, 21-36.
22. Fillmore, P. A. (1996) A User's Guide to Operator Algebras. Wiley.
23. Herescu, M. and Palamidessi, C. (2000) Probabilistic asynchronous π-calculus. In: Tiuryn, J. (editor), Proceedings of FOSSACS 2000: Lecture Notes in Computer Science 1784, pp. 146-160. Springer-Verlag.
24. Kadison, R. V. and Ringrose, J. R. (1997) Fundamentals of the theory of operator algebras: Volume I - Elementary Theory. Graduate Studies in Mathematics, vol. 15. AMS.
25. Nielson, F., Nielson, H. R. and Hankin, C. (1999) Principles of Program Analysis. Springer-Verlag.
26. Norris, J. R. (1997) Markov chains. Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press.
27. Palmer, T. W. (1994) Banach algebras and the general theory of *-algebras - volume i: Algebras and Banach Algebras. Encyclopedia of Mathematics and Its Applications, vol. 49. Cambridge University Press.
28. Priami, C. (1995) Stochastic π-calculus. Comput. J. 38(7), 578-589.
29. Tijms, H. C. (1994) Stochastic Models - An algorithmic approach. Wiley.
30. Toffoli, T. and Margolus, N. (1987) Cellular Automata Machines: A new environment for modelling. MIT Press.
31. Wegge-Olsen, N. E. (1993) K-theory and C*-algebras: A friendly approach. Oxford University Press.