@article(Aalst10cj, author = {Wil M.~P. van~der Aalst and Niels Lohmann and Peter Massuthe and Christian Stahl and Karsten Wolf}, year = {2010}, title = {Multiparty Contracts: Agreeing and Implementing Interorganizational Processes}, journal = {Comput. J.}, volume = {53}, number = {1}, pages = {90--106}, doi = {10.1093/comjnl/bxn064}, ) @inproceedings(Acciai08ugo65, author = {Lucia Acciai and Michele Boreale}, year = {2008}, title = {A Type System for Client Progress in a Service-Oriented Calculus}, booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday}, pages = {642--658}, doi = {10.1007/978-3-540-68679-8\_40}, ) @inproceedings(Acciai10coordination, author = {Lucia Acciai and Michele Boreale and Gianluigi Zavattaro}, year = {2010}, title = {Behavioural Contracts with Request-Response Operations}, booktitle = {Proc. {COORDINATION}}, pages = {16--30}, doi = {10.1007/978-3-642-13414-2\_2}, ) @inproceedings(Alfaro01sigsoft, author = {Luca de~Alfaro and Thomas~A. Henzinger}, year = {2001}, title = {Interface automata}, booktitle = {Proc. {ACM} {SIGSOFT}}, pages = {109--120}, doi = {10.1145/503209.503226}, ) @article(Barbanerad15, author = {Franco Barbanera and Ugo de'Liguoro}, year = {2015}, title = {Sub-behaviour relations for session-based client/server systems}, journal = {Mathematical Structures in Computer Science}, volume = {25}, number = {6}, pages = {1339--1381}, doi = {10.1017/S096012951400005X}, ) @article(BartolettiCM17, author = {Massimo Bartoletti and Tiziana Cimoli and Maurizio Murgia}, year = {2017}, title = {Timed Session Types}, journal = {Logical Methods in Computer Science}, volume = {13}, number = {4}, doi = {10.23638/LMCS-13(4:25)2017}, ) @article(BCP15scp, author = {Massimo Bartoletti and Tiziana Cimoli and G.~Michele Pinna}, year = {2015}, title = {Lending Petri nets}, journal = {Sci. Comput. Program.}, volume = {112}, pages = {75--101}, doi = {10.1016/j.scico.2015.05.006}, ) @inproceedings(BartolettiCZ15, author = {Massimo Bartoletti and Tiziana Cimoli and Roberto Zunino}, year = {2015}, title = {Compliance in Behavioural Contracts: {A} Brief Survey}, booktitle = {Programming Languages with Applications to Biology and Security}, series = {Lecture Notes in Computer Science}, volume = {9465}, publisher = {Springer}, pages = {103--121}, doi = {10.1007/978-3-319-25527-9\_9}, ) @inproceedings(BSZ14concur, author = {Massimo Bartoletti and Alceste Scalas and Roberto Zunino}, year = {2014}, title = {A Semantic Deconstruction of Session Types}, booktitle = {Proc. {CONCUR}}, pages = {402--418}, doi = {10.1007/978-3-662-44584-6\_28}, ) @inproceedings(Basile14tgc, author = {Davide Basile and Pierpaolo Degano and Gian~Luigi Ferrari}, year = {2014}, title = {Automata for Analysing Service Contracts}, booktitle = {Proc. {TGC}}, pages = {34--50}, doi = {10.1007/978-3-662-45917-1\_3}, ) @inproceedings(Bravetti07fsen, author = {Mario Bravetti and Gianluigi Zavattaro}, year = {2007}, title = {Contract Based Multi-party Service Composition}, booktitle = {Proc. {FSEN}}, series = {LNCS}, volume = {4767}, pages = {207--222}, doi = {10.1007/978-3-540-75698-9\_14}, ) @inproceedings(Brinksma95concur, author = {Ed~Brinksma and Arend Rensink and Walter Vogler}, year = {1995}, title = {Fair Testing}, booktitle = {Proc. {CONCUR}}, pages = {313--327}, doi = {10.1007/3-540-60218-6\_23}, ) @article(Castagna09toplas, author = {Giuseppe Castagna and Nils Gesbert and Luca Padovani}, year = {2009}, title = {A theory of contracts for {Web} services}, journal = {{ACM} {TOPLAS}}, volume = {31}, number = {5}, pages = {19:1--19:61}, doi = {10.1145/1538917.1538920}, ) @article(Nicola84tcs, author = {{De Nicola}, Rocco and Matthew Hennessy}, year = {1984}, title = {Testing Equivalences for Processes}, journal = {Theor. Comput. Sci.}, volume = {34}, pages = {83--133}, doi = {10.1016/0304-3975(84)90113-0}, ) @inproceedings(DeNicola87ccstau, author = {{De Nicola}, Rocco and Matthew Hennessy}, year = {1987}, title = {{CCS} without tau's}, booktitle = {Proc. {TAPSOFT}}, pages = {138--152}, doi = {10.1007/3-540-17660-8\_53}, ) @inproceedings(Honda98esop, author = {Kohei Honda and Vasco~T. Vasconcelos and Makoto Kubo}, year = {1998}, title = {Language Primitives and Type Disciplines for Structured Communication-based Programming}, booktitle = {Proc. {ESOP}}, series = {LNCS}, volume = {1381}, pages = {122--138}, doi = {10.1007/BFb0053567}, ) @article(HuttelLVCCDMPRT16, author = {Hans H{\"{u}}ttel and Ivan Lanese and Vasco~T. Vasconcelos and Lu{\'{\i}}s Caires and Marco Carbone and Pierre{-}Malo Deni{\'{e}}lou and Dimitris Mostrous and Luca Padovani and Ant{\'{o}}nio Ravara and Emilio Tuosto and Hugo~Torres Vieira and Gianluigi Zavattaro}, year = {2016}, title = {Foundations of Session Types and Behavioural Contracts}, journal = {{ACM} Comput. Surv.}, volume = {49}, number = {1}, pages = {3:1--3:36}, doi = {10.1145/2873052}, ) @inproceedings(Laneve07concur, author = {Cosimo Laneve and Luca Padovani}, year = {2007}, title = {The \emph{Must} Preorder Revisited}, booktitle = {Proc. {CONCUR}}, pages = {212--225}, doi = {10.1007/978-3-540-74407-8\_15}, ) @article(Laneve15fac, author = {Cosimo Laneve and Luca Padovani}, year = {2015}, title = {An algebraic theory for {Web} service contracts}, journal = {Formal Aspects of Computing}, pages = {1--28}, doi = {10.1007/s00165-015-0334-2}, ) @book(Milner89ccs, author = {Robin Milner}, year = {1989}, title = {Communication and concurrency}, publisher = {Prentice-Hall, Inc.}, ) @article(Rensink07infoco, author = {Arend Rensink and Walter Vogler}, year = {2007}, title = {Fair testing}, journal = {Information and Computation}, volume = {205}, number = {2}, pages = {125--198}, doi = {10.1016/j.ic.2006.06.002}, ) @article(tarski1955, author = {Alfred Tarski}, title = {A lattice-theoretical fixpoint theorem and its applications.}, journal = {Pacific J. Math.}, number = {2}, pages = {285--309}, doi = {10.2140/pjm.1955.5.285}, url = {http://projecteuclid.org/euclid.pjm/1103044538}, )