Daniel Hirschkoff

62 papers A* 4A 1B 11C 1Journal 25Unranked 19
YearRankTypeTitle / Venue / Authors
2025 B conf
First-Order Store and Visibility in Name-Passing Calculi.
CONCUR
Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi
2025 J jnl
First-order store and visibility in name-passing calculi.
CoRR
Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi
2025 — conf
Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations.
Rebeca for Actor Analysis in Action
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2023 B conf
Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts.
FoSSaCS
Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet
2023 — conf
Using Pi-Calculus Names as Locks.
EXPRESS/SOS
Daniel Hirschkoff, Enguerrand Prebet
2022 J jnl
Eager Functions as Processes (long version).
CoRR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2022 J jnl
Eager functions as processes.
Theor. Comput. Sci.
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2021 J jnl
Eager Functions as Processes.
CoRR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2021 A* conf
On sequentiality and well-bracketing in the π-calculus.
LICS
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2021 J jnl
On sequentiality and well-bracketing in the π-calculus.
CoRR
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2020 B conf
On the Representation of References in the Pi-Calculus.
CONCUR
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2020 J jnl
Towards 'up to context' reasoning about higher-order processes.
Theor. Comput. Sci.
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2019 J jnl
Divergence and unique solution of equations.
Log. Methods Comput. Sci.
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2019 — conf
Modeling Imperative Constructs in the Pi-Calculus.
ICTCS
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2018 J jnl
Divergence and unique solution of equations.
CoRR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2018 A* conf
Eager Functions as Processes.
LICS
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2017 B conf
Divergence and Unique Solution of Equations.
CONCUR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2016 J jnl
Name-passing calculi: From fusions to preorders and types.
Inf. Comput.
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2016 J jnl
Termination in a π-calculus with subtyping.
Math. Struct. Comput. Sci.
Ioana Cristescu, Daniel Hirschkoff
2015 — conf
A Behavioural Theory for a π-calculus with Preorders.
FSEN
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
2015 J jnl
A behavioural theory for a π-calculus with preorders.
J. Log. Algebraic Methods Program.
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
2014 — conf
Symmetries and Dualities in Name-Passing Process Calculi.
Computing with New Resources
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2013 A* conf
Name-Passing Calculi: From Fusions to Preorders and Types.
LICS
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2012 B conf
Duality and i/o-Types in the π-Calculus.
CONCUR
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2011 — conf
Strong Normalisation in λ-Calculi with References.
FSEN
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2011 — conf
Termination in a Pi-calculus with Subtyping
EXPRESS
Ioana Cristescu, Daniel Hirschkoff
2010 — conf
On Bisimilarity and Substitution in Presence of Replication.
ICALP (2)
Daniel Hirschkoff, Damien Pous
2010 B conf
Termination in Impure Concurrent Languages.
CONCUR
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2010 J jnl
Termination in higher-order concurrent calculi.
J. Log. Algebraic Methods Program.
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2009 — book
Calculs de processus: observations et inspections. (Process calculi: observations, inspections).
Daniel Hirschkoff
2009 J jnl
Encapsulation and Dynamic Modularity in the Pi-Calculus
CoRR
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
2009 — conf
Mobile Processes and Termination.
Semantics and Algebraic Specification
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2009 — conf
Termination in Higher-Order Concurrent Calculi.
FSEN
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2008 J jnl
A Distribution Law for CCS and a New Congruence Result for the p-calculus.
Log. Methods Comput. Sci.
Daniel Hirschkoff, Damien Pous
2008 — conf
Encapsulation and Dynamic Modularity in the pi-calculus.
PLACES@DisCoTec
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
2008 J jnl
On characterising strong bisimilarity in a fragment of CCS with replication
CoRR
Daniel Hirschkoff, Damien Pous
2008 J jnl
Separability in the Ambient Logic
CoRR
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2008 J jnl
Separability in the Ambient Logic.
Log. Methods Comput. Sci.
Étienne Lozes, Daniel Hirschkoff, Davide Sangiorgi
2008 — conf
Static and dynamic typing for the termination of mobile processes.
IFIP TCS
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
2007 B conf
A Distribution Law for CCS and a New Congruence Result for the
FoSSaCS
Daniel Hirschkoff, Damien Pous
2007 J jnl
An efficient abstract machine for Safe Ambients.
J. Log. Algebraic Methods Program.
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
2007 — conf
On the Complexity of Termination Inference for Processes.
TGC
Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi
2006 J jnl
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
CoRR
Daniel Hirschkoff, Damien Pous
2006 J jnl
On the Expressiveness of the Ambient Logic.
Log. Methods Comput. Sci.
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2005 C conf
A Correct Abstract Machine for Safe Ambients.
COORDINATION
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
2005 B conf
Component-Oriented Programming with Sharing: Containment is Not Ownership.
GPCE
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
2005 J jnl
On the Expressiveness of the Ambient Logic
CoRR
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2005 J jnl
On the representation of McCarthy's amb in the Pi-calculus.
Theor. Comput. Sci.
Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
2004 B conf
An Extensional Spatial Logic for Mobile Processes.
CONCUR
Daniel Hirschkoff
2004 J jnl
Using ambients to control resources.
Int. J. Inf. Sec.
David Teller, Pascal Zimmer, Daniel Hirschkoff
2003 J jnl
A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis.
J. Funct. Program.
Christine Röckl, Daniel Hirschkoff
2003 — conf
Minimality Results for the Spatial Logics.
FSTTCS
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2003 — conf
On the Representation of McCarthy's
EXPRESS
Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
2002 A* conf
Separability, Expressiveness, and Decidability in the Ambient Logic.
LICS
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
2002 B conf
Using Ambients to Control Resources.
CONCUR
David Teller, Pascal Zimmer, Daniel Hirschkoff
2001 J jnl
Bisimulation verification using the up to techniques.
Int. J. Softw. Tools Technol. Transf.
Daniel Hirschkoff
2001 B conf
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.
FoSSaCS
Christine Röckl, Daniel Hirschkoff, Stefan Berghofer
2001 — conf
Incremental Inference of Partial Types.
ICTCS
Mario Coppo, Daniel Hirschkoff
1999 A conf
On the Benefits of Using the Up-To Techniques for Bisimulation Verification.
TACAS
Daniel Hirschkoff
1999 — conf
On the way to certify Computer Algebra Systems.
Calculemus
Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo
1998 — conf
Automatically Proving Up-to Bisimulation.
MFCS Workshop on Concurrency
Daniel Hirschkoff
1997 — conf
A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions.
TPHOLs
Daniel Hirschkoff