 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00798028v1
Article dans une revue
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Duality and i/o-Types in the π-Calculus Lecture notes in computer science, springer, 2012, 7454, pp 302-316 |
||
|
hal-00904138v1
Communication dans un congrès
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types LICS - 28th Annual ACM/IEEE Symposium on Logic in Computer Science - 2013, 2013, New Orleans, United States. IEEE, pp.378-387, 2013, LICS. <10.1109/LICS.2013.44> |
||
|
hal-01246094v2
Communication dans un congrès
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu. A Behavioural Theory for a π-calculus with Preorders Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.143-158, 2015, Fundamentals of Software Engineering. <10.1007/978-3-319-24644-4_10> |
||
|
hal-01419632v1
Article dans une revue
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: From fusions to preorders and types Journal of Information and Computation, Elsevier, 2016, 251, pp.26. <10.1016/j.ic.2016.10.003> |
||
|
hal-00818068v2
Pré-publication, Document de travail
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types 2013 |
||
|
hal-00949521v1
Pré-publication, Document de travail
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu. A behavioural theory for a π-calculus with preorders This paper obtained the best paper award at the conference FSEN'2015. A revised version of this paper has been published in JLAMP (Journal of Logical and Algebraic Methods in Programming), Volume 84, Issue 6, November 2015, Pages 806–825. 2014 |
||
|
hal-00990859v1
Communication dans un congrès
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi. Bisimulations up-to: beyond first-order transition systems CONCUR, Sep 2014, Rome, Italy. 2014, <10.1007/978-3-662-44584-6_8> |
||
|
hal-00909375v1
Communication dans un congrès
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Duality and i/o-Types in the pi-calculus Maciej Koutny and Irek Ulidowski. 23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Newcastle upon Tyne, United Kingdom. Springer, 7454, pp.302--316, 2012, CONCUR 2012 - Concurrency Theory; Lecture Notes in Computer Science. <10.1007/978-3-642-32940-1_22> |
||
|
|
||