{"title":"Roberto Gorrieri","description":null,"products":[{"product_id":"syntax-and-semantics-of-petri-nets-book-roberto-gorrieri-9781009613286","title":"Syntax and Semantics of Petri Nets","description":"Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying three classes of nets that model (i) sequential systems, (ii) non-communicating parallel systems, and (iii) communicating parallel systems. A decidable and causality respecting behavioral equivalence is presented for each class, followed by a modal logic characterization for each equivalence. The author then introduces a suitable process algebra for the corresponding class of nets and proves that the behavioral equivalence proposed for each class is a congruence for the operator of the corresponding process algebra. Finally, an axiomatization of the behavioral congruence is proposed. The theory is introduced step by step, with ordinary-language explanations and examples provided throughout, to remain accessible to readers without specialized training in concurrency theory or formal logic. Exercises with solutions solidify understanding, and the final chapter hints at extensions of the theory.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51599256846609,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51599256977681,"sku":"NGR9781009613286","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52516781719825,"sku":"NLS9781009613286","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52725046444305,"sku":"NIN9781009613286","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1009613286.jpg?v=1786129550"},{"product_id":"formal-methods-for-open-object-based-distributed-systems-book-roberto-gorrieri-9783540348931","title":"Formal Methods for Open Object-Based Distributed Systems","description":"This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52346336379153,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52346339885329,"sku":"NLS9783540348931","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540348931.jpg?v=1786093697"},{"product_id":"process-algebras-for-petri-nets-book-roberto-gorrieri-9783319555584","title":"Process Algebras for Petri Nets","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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52431799189777,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52431799976209,"sku":"NLS9783319555584","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319555584.jpg?v=1785878441"},{"product_id":"introduction-to-concurrency-theory-book-roberto-gorrieri-9783319366388","title":"Introduction to Concurrency Theory","description":"\u003cp\u003eThis book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.\u003c\/p\u003e\u003cp\u003eThe authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency. \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52500849885457,"sku":"NGR9783319366388","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":53522291884305,"sku":"NLS9783319366388","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319366388.jpg?v=1789042288"},{"product_id":"process-algebras-for-petri-nets-book-roberto-gorrieri-9783319856940","title":"Process Algebras for Petri Nets","description":"\u003cp\u003eThis 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.\u003c\/p\u003e\u003cp\u003eIt 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.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52507901231377,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52507901952273,"sku":"NLS9783319856940","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319856940.jpg?v=1786030813"},{"product_id":"introduction-to-concurrency-theory-book-roberto-gorrieri-9783319214900","title":"Introduction to Concurrency Theory","description":"\u003cp\u003eThis book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.\u003c\/p\u003e\u003cp\u003eThe authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency. \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53522210521361,"sku":"NLS9783319214900","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319214900.jpg?v=1786095932"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-roberto-gorrieri.oembed","provider":"World of Books ","version":"1.0","type":"link"}