Two notions of sub-behaviour for session-based client/server systems

PPDP'10 - Proceedings of the 2010 Symposium on Principles and Practice of Declarative Programming

Volumn , Issue , 2010, Pages 155-164

  Barbanera, Franco ^a   De'Liguoro, Ugo ^b  

^a UNIVERSITY OF CATANIA   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

Behavioural semantics; Client server interaction; Coinduction; Semantics of subtyping; Session types; Sub behaviour

Indexed keywords

BEHAVIOURAL SEMANTICS; CLIENT/SERVER; COINDUCTION; SESSION TYPES; SUB-BEHAVIOUR;

COMPUTER PROGRAMMING; SEMANTICS;

SEMANTIC WEB;

EID: 77956250559     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1836089.1836109     Document Type: Conference Paper

References (21)

1. F. Barbanera, S. Capecchi, and U. de'Liguoro. Typing Asymmetric Client-Server Interaction. In Proc. of FSEN'09, number 5961 in LNCS, page 5961. Springer, 2010.
2. M. Brandt and F. Henglein. Coinductive axiomatization of recursive type equality and subtyping. Fundamenta Informatica, 33, 1998.
3. M. Bravetti and G. Zavattaro. Contract based multi-party service composition. In Proc. of IPM International Symposium on Fundamentals of Software Engineering (FSEN'07), volume 4767 of Lecture Notes in Computer Science, pages 207-222, 2007.
4. S. Carpineti, G. Castagna, C. Laneve, and L. Padovani. A formal account of contracts for Web Services. In WS-FM, 3rd Int. Workshop on Web Services and Formal Methods, number 4184 in LNCS, pages 148-162. Springer, 2006.
5. G. Castagna, M. Dezani-Ciancaglini, E. Giachino, and L. Padovani. Foundations of Session Types. In PPDP'09, pages 219-230. ACM Press, 2009.
6. G. Castagna and A. Frisch. A gentle introduction to semantic subtyp-ing. In Proc. of ICALP'05, volume 3580 of Lecture Notes in Computer Science, pages 30-34, 2005.
7. G. Castagna, N. Gesbert, and L. Padovani. A theory of contracts for web services. volume 31 of ACM Transactions on Programming Languages and Systems (TOPLAS), 2009.
8. G. Castagna and L. Padovani. Contracts for mobile processes. In Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09), volume 5710 of LNCS, pages 211-228. Springer-Verlag, 2009.
9. M. Dezani-Ciancaglini, U. de' Liguoro, and N. Yoshida. On Progress for Structured Communications. In G. Barthe and C. Fournet, editors, TGC'07, volume 4912 of LNCS, pages 257-275. Springer, 2008.
10. S. Gay and M. Hole. Types and Subtypes for Client-Server Interactions. In ESOP'99, volume 1576 of LNCS, pages 74-90. Springer-Verlag, 1999.
11. S. Gay and M. Hole. Subtyping for Session Types in the Pi-Calculus. Acta Informatica, 42(2/3):191-225, 2005.
12. K. Honda, V. T. Vasconcelos, and M. Kubo. Language Primitives and Type Disciplines for Structured Communication-based Programming. In ESOP'98, volume 1381 of LNCS, pages 22-138. Springer-Verlag, 1998.
13. C. Laneve and L. Padovani. The Must Preorder Revisited: An Algebraic Theory for Web Services Contracts. In CONCUR'07, volume 4703 of LNCS, pages 212-225. Springer-Verlag, 2007.
14. C. Laneve and L. Padovani. The pairing of contracts and session types. In Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, pages 681-700, 2008.
15. Leavens and Pigozzi. A complete algebraic characterization of behavioral subtyping. ACTAINF: Acta Informatica, 36, 2000.
16. L. Padovani. Contract-based discovery and adaptation of web services. http://www.di.unito.it/~padovani/publications.html, 2009.
17. L. Padovani. Session types at the mirror. CoRR, abs/0911.5449, 2009.
18. A. Ravara, P. Resende, and V. Vasconcelos. An algebra of behavioural types. Preprint, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2002. Submitted for publication.
19. A. Rensink and W. Vogler. Fair testing. INFCTRL: Information and Computation (formerly Information and Control), 205, 2007.
20. D. Sangiorgi and D. Walker. The π-Calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
21. N. Yoshida and V. T. Vasconcelos. Language Primitives and Type Disciplines for Structured Communication-based Programming Revisited. In SecReT'06, volume 171 of ENTCS, pages 73-93. Elsevier, 2007.