Jean-Marie Madiot

According to our database, Jean-Marie Madiot authored at least 9 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A separation logic for heap space under garbage collection.

Jean-Marie Madiot, François Pottier

Proc. ACM Program. Lang., 2022

2021

Modular coinduction up-to for higher-order languages via first-order transition systems.

Jean-Marie Madiot, Damien Pous, Davide Sangiorgi

Log. Methods Comput. Sci., 2021

2016

Name-passing calculi: From fusions to preorders and types.

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi

Inf. Comput., 2016

2015

Higher-order languages : dualities and bisimulation enhancements. (Langages d'ordre supérieur : dualités et techniques de bisimulation).

Jean-Marie Madiot

PhD thesis, 2015

A behavioural theory for a π-calculus with preorders.

Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu

J. Log. Algebraic Methods Program., 2015

2014

On Coupled Logical Bisimulation for the Lambda-Calculus.

Ryan Kavanagh, Jean-Marie Madiot

CoRR, 2014

Bisimulations Up-to: Beyond First-Order Transition Systems.

Jean-Marie Madiot, Damien Pous, Davide Sangiorgi

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Symmetries and Dualities in Name-Passing Process Calculi.

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi

Proceedings of the Computing with New Resources, 2014

2012

Duality and i/o-Types in the π-Calculus.

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012