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

Franco Barbanera Ugo de'Liguoro 2010 Two notions of sub-behaviour for session-based client/server systems PPDP ACM Press 155–164 10.1145/1836089.1836109 Franco Barbanera Ugo de' Liguoro 2014 Loosening the notions of compliance and sub-behaviour in client/server systems Proceedings 7th ICE 2014 EPTCS 166 94–110 10.4204/EPTCS.166.10 Franco Barbanera Ugo de' Liguoro 2014 Sub-behaviour relations for session-based client/server systems Math. Struct. in Comp. Science 10.1017/S096012951400005X To appear, published online Massimo Bartoletti Tiziana Cimoli G. Michele Pinna 2014 A note on two notions of compliance Proceedings 7th ICE 2014 EPTCS 166 86–93 10.4204/EPTCS.166.9 Massimo Bartoletti Alceste Scalas Roberto Zunino 2014 A semantic deconstruction of session types Proc. CONCUR 402–418 10.1007/978-3-662-44584-6_28 Davide Basile Pierpaolo Degano Gian Luigi Ferrari 2014 Automata for Analysing Service Contracts TGC 2014 LNCS 8902 34–50 10.1007/978-3-662-45917-1-3 Davide Basile Pierpaolo Degano Gian-Luigi Ferrari Emilio Tuosto 2014 From Orchestration to Choreography through Contract Automata Proc. ICE'14 EPTCS 166 67–85 10.4204/EPTCS.166.8 Giovanni Bernardi Matthew Hennessy 2012 Modelling session types using contracts Proceedings of 27th Annual ACM SAC '12 ACM

New York, NY, USA

1941–1946 10.1145/2231936.2232097 Giovanni Bernardi Matthew Hennessy 2014 Modelling session types using contracts Math. Struct. in Comp. Science 10.1017/S0960129514000243 To appear, published online. Giovanni Bernardi Matthew Hennessy 2015 Mutually Testing Processes 24h CoRR abs/1502.06360 10.1007/978-3-642-40184-8_6 Daniel Brand Pitro Zafiropulo 1983 On Communicating Finite-State Machines JACM 30 2 323–342 10.1145/322374.322380 S. Carpineti G. Castagna C. Laneve L. Padovani 2006 A formal account of contracts for Web Services WS-FM LNCS 4184 Springer 148–162 10.1007/11841197_10 Giuseppe Castagna Nils Gesbert Luca Padovani 2009 A theory of contracts for Web services ACM Trans. on Prog. Lang. and Sys. 31 5 19:1–19:61 10.1145/1538917.1538920 L. Clemente F. Herbreteau G. Sutre 2014 Decidable Topologies for Communicating Automata with FIFO and Bag Channels Proc. CONCUR'14 LNCS 8704 10.1007/978-3-662-44584-6_20 Pierre-Malo Deniélou Nobuko Yoshida 2012 Multiparty Session Types Meet Communicating Automata ESOP 194–213 10.1007/978-3-642-28869-2_10 Kohei Honda Vasco T. Vasconcelos Makoto Kubo 1998 Language Primitives and Type Disciplines for Structured Communication-based Programming ESOP LNCS 1381 Springer 22–138 10.1007/BFb0053567 O. H. Ibarra J. Su Z. Dang T. Bultan R. Kemmerer 2000 Counter Machines: Decidable Properties and Applications to Verification Problems MFCS 2000 LNCS 1893 10.1007/3-540-44612-5-38 Cosimo Laneve Luca Padovani 2007 The Must Preorder Revisited: An Algebraic Theory for Web Services Contracts CONCUR'07 LNCS 4703 Springer 212–225 10.1007/978-3-540-74407-8_15 Luca Padovani 2010 Contract-Based Discovery of Web Services Modulo Simple Orchestrators Theoretical Computer Science 411 3328–3347 10.1016/j.tcs.2010.05.002 Chris Peltz 2003 Web Services Orchestration and Choreography Computer 36 10 46–52 10.1109/MC.2003.1236471