Jean-Marie Madiot

From MaRDI portal
Person:342732

Available identifiers

zbMath Open madiot.jean-marieMaRDI QIDQ342732

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q51556882021-10-08Paper
Name-Passing Calculi: From Fusions to Preorders and Types2017-07-03Paper
Name-passing calculi: from fusions to preorders and types2016-11-18Paper
A Behavioural Theory for a π-calculus with Preorders2015-12-11Paper
A behavioural theory for a \(\pi\)-calculus with preorders2015-11-10Paper
Symmetries and Dualities in Name-Passing Process Calculi2015-09-08Paper
Bisimulations Up-to: Beyond First-Order Transition Systems2014-09-15Paper
Duality and i/o-Types in the π-Calculus2012-09-25Paper

Research outcomes over time

This page was built for person: Jean-Marie Madiot

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:342732&oldid=7236215"
Powered by MediaWiki