Daniel Hirschkoff

Identifiers

• name variant Daniel Hirschkoff 0.60 · backfill

Papers (2)

1. Separability in the Ambient Logic cs.LO · 2008 · author #1
2. A Distribution Law for CCS and a New Congruence Result for the pi-calculus cs.LO · 2006 · author #1

Mentions

• 0806.3849 #1 · backfill · confidence 0.70 Daniel Hirschkoff

Frequent Coauthors

• Damien Pous 1 shared papers
• Davide Sangiorgi 1 shared papers
• Etienne Lozes 1 shared papers