Communication and ConcurrencyPrentice Hall, 1989 - 260 páginas Communication and Concurrency develops a general calculus of concurrent programming from first principles. The book provides an understanding of concurrency through a number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation. |
Contenido
Glossary | 6 |
Modelling Communication | 18 |
Basic Definitions | 36 |
Derechos de autor | |
Otras 11 secciones no mostradas
Otras ediciones - Ver todas
Términos y frases comunes
A₁ A₂ action agent expression algebraic arity assume axioms b₁ behaviour binary relation bisimilarity Buff buffer C₁ C₂ Chapter Communicating Sequential Processes communication components concurrent confluent congruence congruence relation consider defining equations definition derivation trees determinacy diagram Doing(j E₁ equality equivalence relation example Exercise expansion law finite fix(X flow graph follows formula full standard form geth Ham|Mal Hoare Hoare logic Hoare's implies induction inference input Jobber Jobshop labels Lemma logic M₁ Matthew Hennessy means notion observation equivalence Operator P₁ P₂ pair parameter ports Prefix preserved process calculus programming language proof Proposition 11 prove puth recursive Relabelling Reply(b rules satisfies Sched Sched(i Schedspec(i scheduler Section semantics sequence side-condition sort specification strong bisimilarity strong bisimulation strong equivalence Strongjobber summand Summation synchronous calculus theory tion trace equivalence transition transition relations translation Turing machine variables well-terminating