Locality and non-interleaving semantics in calculi for mobile processes
Edición de la obra Locality and non-interleaving semantics in calculi for mobile processes
| Autor | Davide Sangiorgi |
|---|---|
| Editorial | LFCS, Dept. of Computer Science, University of Edinburgh |
| Fecha de publicación | 1994 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 54 |
| Serie | LFCS report series -- ECS-LFCS-94-282 |
| Número de Cutter | S225l |