Articoli correlati a Introduction to Process Algebra
Sinossi
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1. Introduction.- 2. Basic Process Algebra.- 3. Algebra of Communicating Processes.- 4. Recursion.- 5. Abstraction.- 6. Protocol Verifications.- 7. Extensions.- A. Equational Logic.- B. Structural Operational Semantics.- Solutions to Selected Exercises.- References.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 52,04
EUR 3,41 per la spedizione in U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Introduction to Process Algebra
Foto dell'editore
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020217196
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 12032954-n
Quantità: Più di 20 disponibili
Foto dell'editore
Introduction to Process Algebra (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642085849
ISBN 13: 9783642085840
Nuovo
Paperback
Prima edizione
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications. Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783642085840
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 12032954
Quantità: Più di 20 disponibili
Foto dell'editore
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642085840_new
Quantità: Più di 20 disponibili
Foto dell'editore
Introduction to Process Algebra (Texts in Theoretical Computer Science. An Eatcs Series)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783642085840
Quantità: 10 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 12032954-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
Editore:
Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642085849
ISBN 13: 9783642085840
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications. 176 pp. Englisch. Codice articolo 9783642085840
Quantità: 2 disponibili
Foto dell'editore
Introduction to Process Algebra
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 176. Codice articolo 262451049
Quantità: 4 disponibili
Foto dell'editore
Introduction to Process Algebra
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10: 3642085849
ISBN 13: 9783642085840
Nuovo
Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 284. . 2010. Softcover reprint of hardcover 1st ed. 2000. Paperback. . . . . Codice articolo V9783642085840
Quantità: 15 disponibili