, Behavioral types in programming languages. Foundations and Trends in Programming Languages, vol.3, pp.95-230, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01348054
A ground-complete axiomatisation of finitestate processes in a generic process algebra, Mathematical Structures in Computer Science, vol.18, issue.6, pp.1057-1089, 2008. ,
Modelling session types using contracts, Mathematical Structures in Computer Science, vol.26, issue.3, pp.510-560, 2016. ,
On communicating finite-state machines, J. ACM, vol.30, issue.2, pp.323-342, 1983. ,
Reduction semantics in markovian process algebra, J. Log. Algebr. Meth. Program, vol.96, pp.41-64, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01921194
A sound algorithm for asynchronous session subtyping, Proc. of 30th Int. Conference Concurrency Theory, CONCUR'19, Leibniz International Proceedings in Informatics. Schloss Dagstuhl, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02387473
Undecidability of asynchronous session subtyping, Inf. Comput, vol.256, pp.300-320, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01637935
On the boundary between decidability and undecidability of asynchronous session subtyping, Theor. Comput. Sci, vol.722, pp.19-51, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01921168
Contract-driven implementation of choreographies, Trustworthy Global Computing, 4th International Symposium, vol.5474, pp.1-18, 2008. ,
Contract based multi-party service composition, Proc. of Int. Symposium on Fundamentals of Software Engineering, FSEN'07, vol.4767, pp.207-222, 2007. ,
Towards a unifying theory for choreography conformance and contract compliance, Proc. of 6th Int. Symposium Software Composition, SC'07, vol.4829, pp.34-50, 2007. ,
Contract compliance and choreography conformance in the presence of message queues, Proc. of 5th Int. Workshop on Web Services and Formal Methods, WS-FM'08, vol.5387, pp.37-54, 2008. ,
On the expressive power of process interruption and compensation, Mathematical Structures in Computer Science, vol.19, issue.3, pp.565-599, 2009. ,
A theory of contracts for web services, Proc. of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08, pp.261-272, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00152547
On the preciseness of subtyping in session types, Logical Methods in Computer Science, vol.13, issue.2, 2017. ,
A petri net based modeling of active objects and futures, Fundam. Inform, vol.159, issue.3, pp.197-256, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01919136
Subtyping for session types in the pi calculus, Acta Inf, vol.42, issue.2-3, pp.191-225, 2005. ,
Hybrid session verification through endpoint API generation, FASE 2016, pp.401-418, 2016. ,
The Must preorder revisited, Proc. of 18th Int. Conference Concurrency Theory, CONCUR'07, vol.4703, pp.212-225, 2007. ,
On the undecidability of asynchronous session subtyping, Proc. of 20th Int. Conference on Foundations of Software Science and Computation Structures, FOSSACS'17, vol.10203, pp.441-457, 2017. ,
Embedding session types in Haskell, pp.133-145, 2016. ,
Communication and concurrency, 1989. ,
A Calculus of Mobile Processes, I/II, Inf. Comput, vol.100, issue.1, 1992. ,
Session typing and asynchronous subtyping for the higher-order ?-calculus, Inf. Comput, vol.241, pp.227-263, 2015. ,
Global principal typing in partially commutative asynchronous sessions, Proc. of 18th European Symposium on Programming, ESOP'09, vol.5502, pp.316-332, 2009. ,
A Session Type Provider: Compile-time API Generation for Distributed Protocols with Interaction Refinements in F, 2018. ,
Effects as sessions, sessions as effects, POPL 2016, pp.568-581, 2016. ,
A simple library implementation of binary sessions, J. Funct. Program, vol.27, p.4, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01216310
Lightweight session programming in scala, ECOOP 2016, vol.21, p.28, 2016. ,