Searching for authors named "Daniel Hirschkoff" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
