Relational analysis of correlation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5079 LNCS, Issue , 2008, Pages 32-46

  Bauer, Jörg ^a   Nielson, Flemming ^b   Riis Nielson, Hanne ^b   Pilegaard, Henrik ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CORRELATION METHODS; DIFFERENTIATION (CALCULUS); MATHEMATICAL TECHNIQUES; SYNTHETIC APERTURE SONAR;

ARBITRARY ORDERS; FUSION CALCULUS; INTERNATIONAL SYMPOSIUM; PROCESS CALCULUS; RELATIONAL ANALYSIS; SERVICE PROVIDERS; SERVICE-ORIENTED COMPUTING; SHARED MEMORIES;

STATIC ANALYSIS;

EID: 48949097794     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69166-2_3     Document Type: Conference Paper

References (17)

1. Bauer, J., Nielson, F., Nielson, H.R., Pilegaard, H.: Relational analysis of correlation. Technical report, Technical University of Munich (2008)
2. Victor, B.: Personal communication (October 2007)
3. Bodei, C., Degano, P., Nielson, F., Nielson, H.R.: Static analysis for the π-calculus with applications to security. Information and Computation 168, 68-92 (2001)
4. Boreale, M., Buscemi, M.G., Montanari, U.: D-fusion: A distinctive fusion calculus. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 296-310. Springer, Heidelberg (2004)
5. Feret, J.: Dependency analysis of mobile systems. In: Le Métayer, D. (ed.) ESOP 2002 and ETAPS 2002. LNCS, vol. 2305, pp. 314-330. Springer, Heidelberg (2002)
6. Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: A calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327-338. Springer, Heidelberg (2006)
7. Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, Springer, Heidelberg (2007)
8. Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 223-239. Springer, Heidelberg (2007)
9. Nielson, F., Nielson, H.R., Bauer, J., Nielsen, C.R., Pilegaard, H.: Relational analysis for delivery of services. In: Trustworthy Global Computing (to appear, 2007)
10. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, New York (1999)
11. Nielson, F., Nielson, H.R., Sun, H., Buchholtz, M., Hansen, R.R., Pilegaard, H., Seidl, H.: The succinct solver suite. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 251-265. Springer, Heidelberg (2004)
12. Nielson, F., Seidl, H.: Control-flow analysis in cubic time. In: Sands, D. (ed.) ESOP 2001 and ETAPS 2001. LNCS, vol. 2028, pp. 252-268. Springer, Heidelberg (2001)
13. Nielson, F., Seidl, H., Nielson, H.R.: A succinct solver for ALFP. Nord. J. Comput. 9(4), 335-372 (2002)
14. Nielson, H.R., Nielson, F.: Flow Logic: a multi-paradigmatic approach to static analysis. In: Mogensen, T.Æ., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 223-244. Springer, Heidelberg (2002)
15. Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: LICS, pp. 176-185 (1998)
16. Turner, D.N.: The Polymorphic Pi-calulus: Theory and Implementation. PhD thesis, University of Edinburgh (1996)
17. Venet, A.: Automatic determination of communication topologies in mobile systems. In: Levi, G. (ed.) SAS 1998. LNCS, vol. 1503, pp. 152-167. Springer, Heidelberg (1998)