Paperback. This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming. This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term ???algebra??? is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Codice articolo 9780521607506

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Applications of Process Algebra (Paperback)
Editore: Cambridge University Press, Cambridge
Data di pubblicazione: 2005
Lingua: Inglese
ISBN 10: 0521607507
ISBN 13: 9780521607506
Rilegatura: Paperback
Condizione: new

Descrizione articolo

Riassunto

This book gives applications of the theory of process algebra. or Algebra of Comunicating Processes (ACS).

Recensione

'A useful and interesting addition to a computer science library.' International Mathematical News

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Online business

Visita la pagina della libreria

Informazioni sull?azienda del venditore

ABC BOOKS LIMITED
10 John Street, London, WC1N 2EB, United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

Orders can be returned within 30 days of receipt.

Diritto di recesso

Condizioni di spedizione

Please note that titles are dispatched from our US, Canadian or Australian warehouses. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 7-14 days.

Tariffe di spedizione da Regno Unito a U.S.A.

Tariffe di spedizione da Regno Unito a U.S.A.
Quantit� dell?ordine	Da 7 a 60 giorni lavorativi	Da 7 a 14 giorni lavorativi
Primo articolo	EUR 42.38	EUR 42.38

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.