Divergence and unique solution of equations
Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide
Published in Logical methods in computer science (01.01.2019)
Published in Logical methods in computer science (01.01.2019)
Get full text
Journal Article
Termination in a Pi-calculus with Subtyping
Cristescu, Ioana, Hirschkoff, Daniel
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Get full text
Journal Article
Using Pi-Calculus Names as Locks
Hirschkoff, Daniel, Prebet, Enguerrand
Published in Electronic proceedings in theoretical computer science (14.09.2023)
Published in Electronic proceedings in theoretical computer science (14.09.2023)
Get full text
Journal Article
A Correct Abstract Machine for Safe Ambients
Hirschkoff, Daniel, Pous, Damien, Sangiorgi, Davide
Published in Coordination Models and Languages (2005)
Published in Coordination Models and Languages (2005)
Get full text
Book Chapter
Conference Proceeding
Eager functions as processes
Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide
Published in Theoretical computer science (20.04.2022)
Published in Theoretical computer science (20.04.2022)
Get full text
Journal Article
Separability in the Ambient Logic
Hirschkoff, Daniel, Lozes, Etienne, Sangiorgi, Davide
Published in Logical methods in computer science (04.09.2008)
Published in Logical methods in computer science (04.09.2008)
Get full text
Journal Article
Towards ‘up to context’ reasoning about higher-order processes
Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide
Published in Theoretical computer science (06.02.2020)
Published in Theoretical computer science (06.02.2020)
Get full text
Journal Article
On the Expressiveness of the Ambient Logic
Hirschkoff, Daniel, Lozes, Etienne, Sangiorgi, Davide
Published in Logical methods in computer science (30.03.2006)
Published in Logical methods in computer science (30.03.2006)
Get full text
Journal Article
Termination in a π-calculus with subtyping
CRISTESCU, IOANA, HIRSCHKOFF, DANIEL
Published in Mathematical structures in computer science (01.12.2016)
Published in Mathematical structures in computer science (01.12.2016)
Get full text
Journal Article
Termination in a[...]-calculus with subtyping
CRISTESCU, IOANA, HIRSCHKOFF, DANIEL
Published in Mathematical structures in computer science (01.12.2016)
Published in Mathematical structures in computer science (01.12.2016)
Get full text
Journal Article
On sequentiality and well-bracketing in the π-calculus
Hirschkoff, Daniel, Prebet, Enguerrand, Sangiorgi, Davide
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Name-passing calculi: From fusions to preorders and types
Hirschkoff, Daniel, Madiot, Jean-Marie, Sangiorgi, Davide
Published in Information and computation (01.12.2016)
Published in Information and computation (01.12.2016)
Get full text
Journal Article
Termination in higher-order concurrent calculi
Demangeon, Romain, Hirschkoff, Daniel, Sangiorgi, Davide
Published in The journal of logic and algebraic programming (01.10.2010)
Published in The journal of logic and algebraic programming (01.10.2010)
Get full text
Journal Article
A behavioural theory for a π-calculus with preorders
Hirschkoff, Daniel, Madiot, Jean-Marie, Xian, Xu
Published in Journal of logical and algebraic methods in programming (01.11.2015)
Published in Journal of logical and algebraic methods in programming (01.11.2015)
Get full text
Journal Article
A Behavioural Theory for a pi-calculus with Preorders: Short Presentation at the Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics
Hirschkoff, Daniel, Madiot, Jean-Marie, Xu, Xian
Published in Electronic proceedings in theoretical computer science (06.08.2014)
Published in Electronic proceedings in theoretical computer science (06.08.2014)
Get full text
Journal Article