BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × France
1 × Italy
1 × Portugal
1 × The Netherlands
1 × USA
Collaborated with:
D.Pous D.Sangiorgi J.Madiot É.Lozes C.Röckl S.Berghofer T.Hirschowitz A.Schmitt J.Stefani
Talks about:
calculus (2) substitut (1) ownership (1) distribut (1) congruenc (1) bisimilar (1) techniqu (1) preorder (1) abstract (1) program (1)

Person: Daniel Hirschkoff

DBLP DBLP: Hirschkoff:Daniel

Contributed to:

LICS 20132013
ICALP (2) 20102010
FoSSaCS 20072007
GPCE 20052005
LICS 20022002
FoSSaCS 20012001
TACAS 19991999

Wrote 7 papers:

LICS-2013-HirschkoffMS #calculus
Name-Passing Calculi: From Fusions to Preorders and Types (DH, JMM, DS), pp. 378–387.
ICALP-v2-2010-HirschkoffP #on the #replication #similarity
On Bisimilarity and Substitution in Presence of Replication (DH, DP), pp. 454–465.
FoSSaCS-2007-HirschkoffP #congruence #π-calculus
A Distribution Law for CCS and a New Congruence Result for the π-Calculus (DH, DP), pp. 228–242.
GPCE-2005-HirschkoffHPSS #component #programming
Component-Oriented Programming with Sharing: Containment is Not Ownership (DH, TH, DP, AS, JBS), pp. 389–404.
LICS-2002-HirschkoffLS #decidability #logic
Separability, Expressiveness, and Decidability in the Ambient Logic (DH, ÉL, DS), pp. 423–432.
FoSSaCS-2001-RocklHB #formal method #higher-order #induction #syntax #π-calculus
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.
TACAS-1999-Hirschkoff #bisimulation #on the #using #verification
On the Benefits of Using the Up-To Techniques for Bisimulation Verification (DH), pp. 285–299.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.