1 |
On Bisimilarity and Substitution in Presence of Replication
|
|
|
|
In: ICALP ; https://hal.archives-ouvertes.fr/hal-00375604 ; ICALP, Jul 2010, Bordeaux, France. pp.454-465, ⟨10.1007/978-3-642-14162-1_38⟩ (2010)
|
|
BASE
|
|
Show details
|
|
2 |
A brief survey of the theory of the Pi-calculus.
|
|
|
|
In: https://hal-lara.archives-ouvertes.fr/hal-02101985 ; [Research Report] LIP RR-2003-13, Laboratoire de l'informatique du parallélisme. 2003, 2+15p (2003)
|
|
BASE
|
|
Show details
|
|
3 |
A brief survey of the theory of the Pi-calculus.
|
|
|
|
In: ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2003/RR2003-13.ps.gz (2003)
|
|
BASE
|
|
Show details
|
|
4 |
Towards a Formalization of pi-calculus Processes in Higher Order Abstract Syntax
|
|
|
|
In: https://hal-lara.archives-ouvertes.fr/hal-02101817 ; [Research Report] LIP RR-2000-23, Laboratoire de l'informatique du parallélisme. 2000, 2+15p (2000)
|
|
BASE
|
|
Show details
|
|
|
|