Information flow : the logic of distributed systems
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | Libro |
Idioma: | Inglés |
Publicado: |
Cambridge :
Cambridge University Press
1997.
|
Colección: | Cambridge tracts in theoretical computer science ;
44 |