Daniel Hirschkoff

Separability, expressiveness, and decidability in the ambient logic

Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi · 2003 · 40 citations

Applied Logic, Computational Logic, Ambient Logic +14

On the representation of McCarthy's<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="italic">amb</mml:mi></mml:math>in the<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si2.gif" overflow="scroll"><mml:mi>π</mml:mi></mml:math>-calculus

Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi · Theoretical Computer Science · 2004 · 25 citations

A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis

Christine Röckl, Daniel Hirschkoff · Journal of Functional Programming · 2003 · 23 citations · Full text

Engineering, Shallow Embeddings, Well-founded Semantics +23

Termination in higher-order concurrent calculi

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi · The Journal of Logic and Algebraic Programming · 2010 · 15 citations

Engineering, Concurrent Programming, Concurrency Theory +4

Automatically Proving Up–to Bisimulation

Daniel Hirschkoff · Electronic Notes in Theoretical Computer Science · 1998 · 15 citations · Full text

Engineering, Verification, Computer-aided Verification +17