Proving total correctness of concurrent programs without using auxiliary variables.
Edición de la obra Proving total correctness of concurrent programs without using auxiliary variables
| Autor | Pawel Paczkowski |
|---|---|
| Editorial | University of Edinburgh, Laboratory for Foundations of Computer Science |
| Fecha de publicación | 1989 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 24 |
| Serie | LFCS report series -- ECS-LFCS-89-100 |
| Número de Cutter | P122p |