Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
-
Formal Semantics and Program Logics for a Fragment of OCaml
Seassau, R., Yoon, I., Madiot, J. M. & Pottier, F., 5 août 2025, Dans: Proceedings of the ACM on Programming Languages. 9, ICFP, p. 128-159 32 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
A separation logic for heap space under garbage collection
Madiot, J. M. & Pottier, F., 1 janv. 2022, Dans: Proceedings of the ACM on Programming Languages. 6, POPL, 3498672.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Modular coinduction up-to for higher-order languages via first-order transition systems
Madiot, J. M., Pous, D. & Sangiorgi, D., 1 janv. 2021, Dans: Logical Methods in Computer Science. 17, 3Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Name-passing calculi: From fusions to preorders and types
Hirschkoff, D., Madiot, J. M. & Sangiorgi, D., 1 déc. 2016, Dans: Information and Computation. 251, p. 335-360 26 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
A behavioural theory for a π-calculus with preorders
Hirschkoff, D., Madiot, J. M. & Xian, X., 1 nov. 2015, Dans: Journal of Logical and Algebraic Methods in Programming. 84, 6, p. 806-825 20 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
A behavioural theory for a π-calculus with preorders
Hirschkoff, D., Madiot, J. M. & Xu, X., 1 janv. 2015, Fundamentals of Software Engineering - 6th International Conference, FSEN 2015, Revised Selected Papers. Dastani, M. & Sirjani, M. (eds.). Springer Verlag, p. 143-158 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 9392).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Bisimulations up-to: Beyond first-order transition systems
Madiot, J. M., Pous, D. & Sangiorgi, D., 1 janv. 2014, Concurrency Theory - 25th International Conference, CONCUR 2014, Proceedings. Springer Verlag, p. 93-108 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8704 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Symmetries and dualities in name-passing process calculi
Hirschkoff, D., Madiot, J. M. & Sangiorgi, D., 1 janv. 2014, Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8808, p. 307-322 16 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Name-passing calculi: From fusions to preorders and types
Hirschkoff, D., Madiot, J. M. & Sangiorgi, D., 9 sept. 2013, Dans: Proceedings - Symposium on Logic in Computer Science. p. 378-387 10 p., 6571570.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Duality and i/o-types in the π-calculus
Hirschkoff, D., Madiot, J. M. & Sangiorgi, D., 1 oct. 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 302-316 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7454 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs