On the realizability of contracts in dishonest systems

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

Volumn 7274 LNCS, Issue , 2012, Pages 245-260

  Bartoletti, Massimo ^a   Tuosto, Emilio ^b   Zunino, Roberto ^c  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

^c UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACT THEORY; REALIZABILITY; SUFFICIENT CRITERION;

ARTIFICIAL INTELLIGENCE;

EID: 84862727742     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30829-1_17     Document Type: Conference Paper

References (15)

1. Artikis, A., Sergot, M.J., Pitt, J.V.: Specifying norm-governed computational societies. ACM Trans. Comput. Log. 10(1) (2009)
2. Bartoletti, M., Tuosto, E., Zunino, R.: Contracts in distributed systems. In: ICE (2011)
3. Bartoletti, M., Tuosto, E., Zunino, R.:On the Realizability of Contracts in Dishonest Systems. In: COORDINATION 2012. LNCS, vol. 7274, pp. 245-260. Springer, Heidelberg (2012)
4. Bartoletti, M., Zunino, R.: A calculus of contracting processes. In: LICS (2010)
5. Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 162-176. Springer, Heidelberg (2010)
6. Bravetti,M., Zavattaro, G.: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 34-50. Springer, Heidelberg (2007) (Pubitemid 351152955)
7. Buscemi, M.G., Coppo, M., Dezani-Ciancaglini, M., Montanari, U.: Constraints for service contracts. In: TGC (2011) (to appear)
8. Buscemi, M.G., Montanari, U.: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 18-32. Springer, Heidelberg (2007) (Pubitemid 350259482)
9. Carpineti, S., Laneve, C.: A Basic Contract Language for Web Services. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924, pp. 197-213. Springer, Heidelberg (2006) (Pubitemid 44019560)
10. Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Transactions on Programming Languages and Systems 31(5) (2009)
11. Dam, M.: On the Decidability of Process Equivalences for the π-calculus. Theoretical Computer Science 183(2), 215-228 (1997)
12. Degano, P., Priami, C.: Enhanced operational semantics. ACM Comput. Surv. 33(2), 135-176 (2001)
13. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). North-Holland Pub. Co./MIT Press (1990)
14. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL (2008)
15. Prisacariu, C., Schneider, G.: A Formal Language for Electronic Contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 174-189. Springer, Heidelberg (2007)