The existence of refinement mappings, Theor. Comput. Sci, vol.82, issue.2, pp.253-284, 1991. ,
, Modeling in Event-B: System and Software Engineering, 2010.
CoqIOA: A formalization of IO automata in the Coq proof assistant, vol.1019, pp.1-53, 1995. ,
Correct instantiation of a system reconfiguration pattern: a proof and refinement-based approach, Proceedings of HASE 2016, pp.31-38, 2016. ,
Deciding choreography realizability, Proceedings of POPL 2012, pp.191-202, 2012. ,
Towards correct evolution of conversation protocols, Proceedings of VECOS 2016. CEUR Workshop Proceedings, vol.1689, pp.193-201, 2016. ,
Correct-by-construction evolution of realisable conversation protocols, MEDI 2016, vol.9893, pp.260-273, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-02353832
On communicating finite-state machines, J. ACM, vol.30, issue.2, pp.323-342, 1983. ,
Modeling interactions of web software, Proceedings of IEEE WWV, pp.45-52, 2006. ,
Structured communication-centred programming for web services, ESOP 2007, vol.4421, pp.2-17, 2007. ,
Counterexample-guided abstraction refinement, CAV 2000, vol.1855, p.15, 2000. ,
Local enforceability in interaction petri nets, BPM 2007, vol.4714, pp.305-319 ,
, , 2007.
A correct-by-construction model for asynchronously communicating systems, Int. J. STTT, vol.19, pp.1-21, 2016. ,
Introduction to Automata Theory, Languages and Computation, 1979. ,
Prob 2.0 tutorial, Proceedings of of 4th Rodin User and Developer Workshop, 2013. ,
Communication and Concurrency, 1989. ,
Combining model checking and deduction for I/Oautomata, TACAS 1995, vol.1019, pp.1-16, 1995. ,
, OMG: Business Process Model and Notation (BPMN) -Version, 2011.
Towards the theoretical foundation of choreography, Project RODIN: Rigorous open development environment for complex systems, 2004. ,
Realizability of choreographies using process algebra encodings, IFM 2009, vol.5423, pp.167-182, 2009. ,