- ホーム
- > 洋書
- > ドイツ書
- > Non-Fiction Books/Guidebooks
- > Reference Books
Full Description
This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis.
Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models.



