, BESERIAL: Behavioural Service Analyser, Business Process Management International Conference. Demo session
URL : https://hal.archives-ouvertes.fr/hal-00953860
, The Chemical Abstract Machine, LNCS Theoretical Computer Science, vol.5240, issue.961, pp.374-377217, 1992.
, Synchronizability for Verification of Asynchronously Communicating Systems, 13th International Conference on Verification , Model Checking, and Abstract Interpretation. VMCAI'12, pp.56-71, 2012.
DOI : 10.1007/978-3-642-15646-5_16
, Formalizing Web Service Choreographies, Electronic Notes in Theoretical Computer Science, vol.105, pp.73-94, 2004.
DOI : 10.1016/j.entcs.2004.05.007
URL : http://doi.org/10.1016/j.entcs.2004.05.007
, Analysis and Management of Web Service Protocols, Conceptual Modeling ? ER, pp.524-541, 2004.
DOI : 10.1007/978-3-540-30464-7_40
URL : https://hal.archives-ouvertes.fr/hal-00108735
, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380
, Mobile Ambients, First International Conference on Foundations of Software Science and Computation Structure. FoSSaCS '98, pp.140-155, 1998.
DOI : 10.1016/s1571-0661(05)80699-1
URL : http://doi.org/10.1016/s1571-0661(05)80699-1
, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985.
DOI : 10.1145/214451.214456
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.7694
, AN APPROACH TO CHECKING BEHAVIORAL COMPATIBILITY BETWEEN WEB SERVICES, International Journal of Software Engineering and Knowledge Engineering, vol.15, issue.02, pp.223-241, 2008.
DOI : 10.1145/859670.859671
, Synchronous, asynchronous, and causally ordered communication, Distributed Computing, vol.18, issue.2, pp.173-191, 1996.
DOI : 10.1016/0020-0190(84)90071-1
URL : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.5364&rep=rep1&type=pdf
, The concurrency workbench, ACM Transactions on Programming Languages and Systems, vol.15, issue.1, pp.36-72, 1993.
DOI : 10.1007/3-540-52148-8_3
, Compatibility and inheritance in software architectures, Science of Computer Programming, vol.41, issue.2, pp.105-138, 2001.
DOI : 10.1016/S0167-6423(01)00002-8
URL : http://doi.org/10.1016/s0167-6423(01)00002-8
, A generic framework for <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi>n</mml:mi></mml:math>-protocol compatibility checking, Science of Computer Programming, vol.77, issue.7-8, pp.870-886, 2012.
DOI : 10.1016/j.scico.2011.03.009
, Modeling Service Compatibility with Picalculus for Choreography, 25th International Conference on Conceptual Modeling . Conceptual Modeling -ER 2006, pp.26-39, 2006.
, The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996.
DOI : 10.1145/237721.237805
, A Calculus of Mobile Agents, CONCUR. Lecture Notes in Computer Science 1119, pp.406-421, 1996.
, Compatibility verification for Web service choreography, Proceedings. IEEE International Conference on Web Services, 2004., pp.738-2004
DOI : 10.1109/ICWS.2004.1314806
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.3458
, Time, Clocks and the Ordering of Events in a Distributed System, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
, Specifying Systems, 2003.
, A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services, IEEE Transactions on Systems, Man and Cybernetics, vol.41, issue.3, pp.510-521, 2011.
, Decidability Results for Choreography Realization, 9th International Conference on Service-Oriented Computing. ICSOC'11, pp.92-107, 2011.
DOI : 10.1007/11914853_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.964
, Distributed Algorithms, 1996.
, On Compatibility of Web Services. Petri Net Newsletter, pp.12-20, 2003.
, A Calculus of Communicating Systems, 1982.
, Communicating and Mobile Systems: The ?-calculus, 1999.
, Detecting Termination of Distributed Computations Using Markers, Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing. PODC '83, pp.290-294, 1983.
, Compatibility Checking for Asynchronously Communicating Software, International Symposium on Formal Aspects of Component Software (FACS 2013), pp.310-328
DOI : 10.1007/978-3-319-07602-7_19
URL : https://hal.archives-ouvertes.fr/hal-00913665
, The causal ordering abstraction and a simple way to implement it, Information Processing Letters, vol.39, issue.6, pp.343-350, 1991.
DOI : 10.1016/0020-0190(91)90008-6
URL : https://hal.archives-ouvertes.fr/inria-00075427
, Detecting Causal Relationships in Distributed Computations A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language, Search of the Holy Grail. Distributed Computing, pp.149-17494, 1994.