{"title":"Javier Esparza","description":null,"products":[{"product_id":"automata-theory-book-javier-esparza-9780262048637","title":"Automata Theory","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49752542675217,"sku":"NGR9780262048637","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50086940672273,"sku":"CIN0262048639G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262048639.jpg?v=1750877415"},{"product_id":"free-choice-petri-nets-book-javier-esparza-9780521019453","title":"Free Choice Petri Nets","description":"Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52332534694161,"sku":"NLS9780521019453","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53528449843473,"sku":"GOR014955710","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780521019453.jpg?v=1758151953"},{"product_id":"unfoldings-book-javier-esparza-9783642096051","title":"Unfoldings","description":"Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components.    In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products; unfolding products; search procedures for basic verification problems, such as reachability and livelocks; and model checking LTL. The final chapter summarizes the results of the book, and points the reader to tools and case studies.   The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52332850381073,"sku":"NLS9783642096051","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642096051.jpg?v=1758152887"},{"product_id":"foundations-of-software-science-and-computation-structures-book-javier-esparza-9783662544570","title":"Foundations of Software Science and Computation Structures","description":"This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52334040088849,"sku":"NLS9783662544570","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662544570.jpg?v=1758155886"},{"product_id":"application-and-theory-of-petri-nets-2002-book-javier-esparza-9783540437871","title":"Application and Theory of Petri Nets 2002","description":"These are the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002. The papers address concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, and wireless transaction protocols.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52355037692177,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52355038118161,"sku":"NLS9783540437871","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540437871.jpg?v=1758184505"},{"product_id":"unfoldings-book-javier-esparza-9783540774259","title":"Unfoldings","description":"Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components.    In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products; unfolding products; search procedures for basic verification problems, such as reachability and livelocks; and model checking LTL. The final chapter summarizes the results of the book, and points the reader to tools and case studies.   The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52522701488401,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52522701914385,"sku":"NLS9783540774259","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540774259.jpg?v=1760578934"},{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-book-javier-esparza-9783642120015","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52666918830353,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52666919911697,"sku":"NLS9783642120015","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642120015.jpg?v=1762281252"},{"product_id":"automata-languages-and-programming-book-javier-esparza-9783662439500","title":"Automata, Languages, and Programming","description":"This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52680652816657,"sku":"NLS9783662439500","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662439500.jpg?v=1762313663"},{"product_id":"automata-languages-and-programming-book-javier-esparza-9783662439470","title":"Automata, Languages, and Programming","description":"This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52680920301841,"sku":"NLS9783662439470","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662439470.jpg?v=1762314298"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-javier-esparza.oembed","provider":"World of Books ","version":"1.0","type":"link"}