Process Algebras for Petri Nets Image close
Process Algebras for Petri Nets on Hardback by Roberto Gorrieri
Process Algebras for Petri Nets on Hardback by Roberto Gorrieri
Show Hide Adult Content
Process Algebras for Petri Nets close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$221.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $55.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Monographs in Theoretical Computer Science : an EATCS Series

See all products in this series

Restricted-Orientation Convexity by Eugene Fink
$135.99
Restricted-Orientation Convexity
by Eugene Fink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Duration Calculus on Hardback by Chaochen Zhou Save $36
$265.99
$302.95
Duration Calculus
by Chaochen Zhou ~ Hardback
Available - Usually ships in 3-4 weeks
Coloured Petri Nets by Kurt Jensen
$261.99
Coloured Petri Nets
by Kurt Jensen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semirings, Automata, Languages by A Salomaa Save $14
$268.99
$283.95
Semirings, Automata, Languages
by A Salomaa ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Compiler Generators by Mads Tofte
$261.99
Compiler Generators
by Mads Tofte ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Process Algebra with Timing on Hardback by J.C.M. Baeten Save $78
$139.99
$218.95
Process Algebra with Timing
by J.C.M. Baeten ~ Hardback
Available - Usually ships in 3-4 weeks
Semantic Integration of Heterogeneous Software Specifications by Martin Grosse-Rhode
$406.99
Semantic Integration of Heterogeneous Software Specifications
by Martin Grosse-Rhode ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domain Science and Engineering on Hardback by Dines Bjorner
$475.99
Domain Science and Engineering
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Domain Science and Engineering by Dines Bjorner
$475.99
Domain Science and Engineering
by Dines Bjorner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Kolmogorov Complexity and Computational Complexity Save $16
$263.99
$280.95
Kolmogorov Complexity and Computational Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
Stochastic Coalgebraic Logic by Ernst-Erich Doberkat Save $52
$263.99
$316.95
Stochastic Coalgebraic Logic
by Ernst-Erich Doberkat ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Algebraic Graph Transformation by Hartmut Ehrig
$314.99
Fundamentals of Algebraic Graph Transformation
by Hartmut Ehrig ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Process Algebra with Timing by J.C.M. Baeten Save $81
$136.99
$218.95
Process Algebra with Timing
by J.C.M. Baeten ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Algebraic Specification 1 by Hartmut Ehrig Save $16
$266.99
$283.95
Fundamentals of Algebraic Specification 1
by Hartmut Ehrig ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semantic Integration of Heterogeneous Software Specifications on Hardback by Martin Grosse-Rhode
$407.99
Semantic Integration of Heterogeneous Software Specifications
by Martin Grosse-Rhode ~ Hardback
Available - Usually ships in 3-4 weeks
Logics of Specification Languages on Hardback
$417.99
$421.95
Logics of Specification Languages
Hardback
Available - Usually ships in 3-4 weeks

Description

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.

Author Biography:

Roberto Gorrieri is a professor in the Università di Bologna. His research and teaching interests include theoretical computer science, particularly concurrency, the foundations of software engineering, and the foundations of security. He coauthored the textbook "Introduction to Concurrency Theory: Transition Systems and CCS" in 2015, and he has authored over 140 formal academic publications. He received his PhD in Computer Science from the Università di Pisa.
Release date Australia
April 25th, 2017
Audience
  • Professional & Vocational
Edition
1st ed. 2017
Illustrations
4 Illustrations, color; 60 Illustrations, black and white; XIII, 302 p. 64 illus., 4 illus. in color.
Pages
302
Dimensions
155x235x19
ISBN-13
9783319555584
Product ID
26680985

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Roberto Gorrieri

See all books by this author

Introduction to Concurrency Theory on Hardback by Roberto Gorrieri
$140.99
Introduction to Concurrency Theory
by Roberto Gorrieri ~ Hardback
Available - Usually ships in 3-4 weeks
Process Algebras for Petri Nets by Roberto Gorrieri
$218.99
Process Algebras for Petri Nets
by Roberto Gorrieri ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation