Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2895052 obálek a 875008 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) | |||||
|
|
Rok: 1990 AnotaceThis book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is, the study of concurrent or communicating processes using an algebraic framework. The approach is axiomatic, and the authors consider structures that are some set of mostly equational axioms equipped with several operators. Thus, the term algebra is used in the model-theoretic sense. Nevertheless, the axiomatic approach enables one to organize the field of process theories and apply them systematically to a number of situations. The first article sets out the theory of ACP and is followed by descriptions of various protocols, and algorithms including communication protocols, a mutual exclusion algorithm, a CIM-architecture, systolic algorithms, and a distributed operating system. This book is essential reading for computer scientists and mathematicians working in parallel programming, concurrency, or distributed systems. It could be considered a companion volume to Process Algebra by J.C.M. Baeten and W.P. Weijland. Dostupné zdroje
| ||||