| Michael W. Shields - Computers - 2012 - 484 pages
Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of ... | |
| Volker Diekert, Grzegorz Rozenberg - Computers - 1995 - 596 pages
The theory of traces employs techniques and tackles problems from quite diverse areas which include formal language theory, combinatorics, graph theory, algebra, logic, and the ... | |
| Glynn Winskel - Computers - 1993 - 388 pages
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of ... | |
| Antoni Mazurkiewicz - Computers - 1997 - 438 pages
This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 24 revised full ... | |
| Dirk A. Taubner - Computers - 1989 - 184 pages
This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages ... | |
| Joseph Rotman - Mathematics - 1998 - 464 pages
A clear exposition, with exercises, of the basic ideas of algebraic topology. Suitable for a two-semester course at the beginning graduate level, it assumes a knowledge of ... | |
| |