Searching for authors named "Daniel Hirschkoff" – sorted by Relevance.
-
Handling Substitutions Explicitely in the pi-Calculus
- Handling Substitutions Explicitely in the {Calculus Daniel Hirschko dh@(email omitted);, CERMICS
- Add To MetaCart
-
On the Benefits of Using the Up-To Techniques for Bisimulation Verification
- On the Benets of Using the UpTo Techniques for Bisimulation Verication Daniel Hirschko ? Cermics
- Cited by 3 (0 self) – Add To MetaCart
-
A Full Formalisation of π-Calculus Theory in the Calculus of Constructions
- A Full Formalisation of -Calculus Theory in the Calculus of Constructions Daniel Hirschkoff
- Cited by 6 (0 self) – Add To MetaCart
-
An extensional spatial logic for mobile processes
- An Extensional Spatial Logic for Mobile Processes Daniel Hirschkoff LIP – ENS Lyon, France
- Cited by 8 (0 self) – Add To MetaCart
-
Incremental Inference of Partial Types
- Incremental Inference of Partial Types Mario Coppo and Daniel Hirschkoff Novembre 1998 N o 98
- Add To MetaCart
-
A distribution law for CCS and a new congruence result for the pi-calculus
- A Distribution Law for CCS and a New Congruence Result for the π-Calculus Daniel Hirschkoff
- Cited by 2 (0 self) – Add To MetaCart
-
unknown title
- On the complexity of termination inference for processes Romain Demangeon1, Daniel Hirschkoff1
- Add To MetaCart
-
On the representation of McCarthy’s ambin the π-calculus
- On the representation of McCarthy’s amb in the π-calculus Arnaud Carayol a,b Daniel Hirschkoff b
- Add To MetaCart
-
An Efficient Abstract Machine for Safe Ambients
- A Correct Abstract Machine for Safe Ambients ⋆ Daniel Hirschkoff 1 , Damien Pous 1 , and Davide
- Cited by 4 (2 self) – Add To MetaCart
-
Component-Oriented Programming with Sharing: Containment is not Ownership
- Component-Oriented Programming with Sharing: Containment is not Ownership Daniel Hirschkoff 1
- Cited by 2 (0 self) – Add To MetaCart

