Cargando…
Mathematical techniques for analyzing concurrent and probabilistic systems
The book consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. The first set of lectures develops a calculus of streams (a generalization of the set of natural numbers) based on the coinduction principle coming...
| Autores principales: | , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
American Mathematical Society
2004
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2279794 |