Compliance and Testing Preorders Differ
暂无分享,去创建一个
[1] Matthew Hennessy,et al. Mutually Testing Processes - (Extended Abstract) , 2013, CONCUR.
[2] Giovanni Bernardi. Behavioural equivalences for web services , 2013 .
[3] Luca Padovani. Contract-Based Discovery and Adaptation of Web Services , 2009, SFM.
[4] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[5] Kohei Honda,et al. An Interaction-based Language and its Typing System , 1994, PARLE.
[6] Matthew Hennessy,et al. Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.
[7] Frank Piessens,et al. A programming model for concurrent object-oriented programs , 2008, TOPL.
[8] Rance Cleaveland,et al. Testing equivalence as a bisimulation equivalence , 1989, Formal Aspects of Computing.
[9] Cosimo Laneve,et al. A Formal Account of Contracts for Web Services , 2006, WS-FM.
[10] Cosimo Laneve,et al. The Must Preorder Revisited , 2007, CONCUR.
[11] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[12] Luca Padovani,et al. Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures , 2009 .
[13] Matthew Hennessy,et al. Process Behaviour: Formulae vs. Tests (Extended Abstract) , 2010, EXPRESS.
[14] Simon J. Gay,et al. Subtyping for session types in the pi calculus , 2005, Acta Informatica.
[15] Ugo de'Liguoro,et al. Two notions of sub-behaviour for session-based client/server systems , 2010, PPDP.
[16] Matthew Hennessy,et al. Modelling session types using contracts , 2012, SAC '12.
[17] Michele Bugliesi,et al. Compliance Preorders for Web Services , 2009, WS-FM.
[18] Rocco De Nicola,et al. Testing Equivalences for Processes , 1984, Theor. Comput. Sci..
[19] Luca Padovani. Contract-based discovery of Web services modulo simple orchestrators , 2010, Theor. Comput. Sci..