Context aware specification and verification of distributed systems

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

Volumn 7173 LNCS, Issue , 2012, Pages 142-159

  D'Errico, Liliana ^a   Loreti, Michele ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLETE SYSTEM; COMPUTATIONAL UNITS; CONTEXT-AWARE; DISTRIBUTED SYSTEMS; FORMAL TOOLS; MOBILE SYSTEMS; MODAL LOGIC; MODEL-CHECKING ALGORITHMS; NETWORK ELEMENT; PROCESS ALGEBRAS; PROPERTY SATISFACTION; SPECIFICATION AND VERIFICATION; SYSTEM COMPONENTS;

MODEL CHECKING; SPECIFICATIONS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84864055560     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30065-3_9     Document Type: Conference Paper

References (20)

1. Abadi, M., Plotkin, G.D.: A logical view of composition. Theoretical Computer Science 114(1), 3-30 (1993)
2. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: 20 years of modal and mixed specifications. Bulletin of the EATCS 95, 94-129 (2008)
3. Baldan, P., Bracciali, A., Bruni, R.: A semantic framework for open processes. Theoretical Computer Science 389(3), 446-483 (2007)
4. Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: Compositional verification for component-based systems and application. IET Software, Special Issue on Automated Compositional Verification: Techniques, Applications and Empirical Studies 4(3), 181-193 (2010)
5. Berezin, S., Campos, S., Clarke, E.M.: Compositional Reasoning in Model Checking. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 81-102. Springer, Heidelberg (1998)
6. Bettini, L., Bono, V., De Nicola, R., Ferrari, G., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The Klaim Project: Theory and Practice. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 88-150. Springer, Heidelberg (2003)
7. Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Ellis, A., Hagino, T. (eds.) Proceedings of the 14th International Conference on World Wide Web, WWW 2005, pp. 148-159. ACM (2005)
8. Gheorghiu Bobaru, M., Pǎsǎreanu, C.S., Giannakopoulou, D.: Automated Assume- Guarantee Reasoning by Abstraction Refinement. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 135-148. Springer, Heidelberg (2008)
9. Caires, L., Cardelli, L.: A spatial logic for concurrency (part I). Information and Computation, 1-37 (2001)
10. Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part II). In: Brim, L., Jančar, P., Křetúský, M., Kučera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 209-225. Springer, Heidelberg (2002)
11. De Nicola, R., Loreti, M.: MoMo: A Modal Logic for Reasoning About Mobility. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 95-119. Springer, Heidelberg (2005)
12. D'Errico, L., Loreti, M.: Assume-Guarantee Verification of Concurrent Systems. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 288-305. Springer, Heidelberg (2009)
13. D'Errico, L., Loreti, M.: Property-Preserving Refinement of Concurrent Systems. In:Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010. LNCS, vol. 6084, pp. 222-236. Springer, Heidelberg (2010)
14. Gabbay, M., Pitts, A.M.: A new approach to abstract syntax involving binders. In: Proceedings of 14th IEEE Symposium on Logic in Computer Science, pp. 214-224 (1999)
15. Gelernter, D.: Multiple Tuple Spaces in Linda. In: Odijk, E., Rem, M., Syre, J.-C. (eds.) PARLE 1989. LNCS, vol. 366, pp. 20-27. Springer, Heidelberg (1989)
16. Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of ACM 32(1), 137-161 (1985)
17. Larsen, K., Xinxin, L.: Compositionality through an operational semantics of contexts. Journal of Logic and Computation 1(6), 761-795 (1991)
18. Milner, R.: Communication and Concurrency. Prentice Hall (1989)
19. De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24(5), 315-330 (1998)
20. Winskel, G.: Topics in concurrency. Lecture notes. University of Cambridge (2008), http://www.cl.cam.ac.uk/~gw104/TIC08.ps