Filtrer vos résultats
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 résultats
|
|
triés par
|
|
A behavioural theory for a π-calculus with preorders2014
Pré-publication, Document de travail
hal-00949521v1
|
||
|
Formal Verification of Netlog ProtocolsTASE, Jul 2012, Beijing, China
Communication dans un congrès
hal-00733634v1
|