Psi-calculi revisited: Connectivity and compositionality, p.192416, 2019. ,
Psi-calculi: A framework for mobile processes with nominal data and logic, Logical Methods in Computer Science, vol.7, issue.1, 2011. ,
Psi-calculi in Isabelle, J. Autom. Reasoning, vol.56, issue.1, pp.1-47, 2016. ,
The chemical abstract machine, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.81-94, 1990. ,
URL : https://hal.archives-ouvertes.fr/inria-00075426
,
Broadcast psi-calculi with an application to wireless protocols, Software and System Modeling, vol.14, issue.1, pp.201-216, 2015. ,
Object-Based Models and Languages for Concurrent Systems, ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Lecture Notes in Computer Science, vol.924, pp.49-65, 1994. ,
The revised report on the syntactic theories of sequential control and state, Theor. Comput. Sci, vol.103, issue.2, pp.90014-90021, 1992. ,
A new approach to abstract syntax with variable binding, Formal Aspects of Computing, vol.13, pp.341-363, 2002. ,
,
Explicit fusions, Proceedings of MFCS 2000, vol.1893, pp.373-382, 2000. ,
Towards a unified approach to encodability and separation results for process calculi, Inf. Comput, vol.208, issue.9, pp.1031-1053, 2010. ,
Name-passing calculi: From fusions to preorders and types, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, pp.378-387, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00818068
A behavioural theory for a ?-calculus with preorders, J. Log. Algebr. Meth. Program, vol.84, issue.6, pp.806-825, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01246094
,
A behavioural theory for a ?-calculus with preorders, Fundamentals of Software Engineering -6th International Conference, FSEN 2015 Tehran, vol.9392, pp.143-158, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01246094
Psi-calculi: a framework for mobile process calculi: Cook your own correct process calculus -just add data and logic, 2010. ,
Weak equivalences in psi-calculi, LICS. pp, pp.322-331, 2010. ,
,
Session types for broadcasting, Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, vol.155, pp.25-31, 2014. ,
Functions as processes, Proceedings of the seventeenth international colloquium on Automata, languages and programming, pp.167-180, 1990. ,
URL : https://hal.archives-ouvertes.fr/inria-00075405
A calculus of mobile processes, part I/II, Inf. Comput, vol.100, issue.1, pp.1-77, 1992. ,
A framework for security analysis of mobile wireless networks, Theor. Comput. Sci, vol.367, issue.1-2, pp.203-227, 2006. ,
Decoding choice encodings, Inf. Comput, vol.163, issue.1, pp.1-59, 2000. ,
Comparing the expressive power of the synchronous and the asynchronous pi-calculus, Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, pp.256-265, 1997. ,
Is it a "good" encoding of mixed choice, Foundations of Software Science and Computational Structures -15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, vol.7213, pp.210-224, 2012. ,
On distributability in process calculi, Programming Languages and Systems -22nd ,
, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, vol.7792, pp.310-329, 2013.
Nominal techniques in Isabelle/HOL, Journal of Automated Reasoning, vol.40, issue.4, pp.327-356, 2008. ,
Explicit fusions, Theoretical Computer Science, vol.304, issue.3, pp.606-630, 2005. ,