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 Sydney, NSW warehouse or from our UK or US warehouse, 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

Visita la pagina della libreria

Informazioni sull?azienda del venditore

The Nile Group Pty Ltd
42 Apex Drive, Truganina, VIC, 3029, Australia

Condizioni di vendita e spedizione

Condizioni di vendita

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Diritto di recesso

Condizioni di spedizione

Please note that titles are dispatched from our UK and NZ warehouse. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 8-15 days.

Tariffe di spedizione da Australia a Italia

Tariffe di spedizione da Australia a Italia
Quantit� dell?ordine	Da 25 a 60 giorni lavorativi	Da 8 a 59 giorni lavorativi
Primo articolo	EUR 31.53	EUR 37.50

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.