{"title":"Richard Lai","description":null,"products":[{"product_id":"communication-protocol-specification-and-verification-book-richard-lai-9780792382843","title":"Communication Protocol Specification and Verification","description":"Communication protocols are rules whereby meaningful  communication can be exchanged between different communicating  entities. In general, they are complex and difficult to design and  implement. Specifications of communication protocols written in a  natural language (e.g. English) can be unclear or ambiguous, and may  be subject to different interpretations. As a result, independent  implementations of the same protocol may be incompatible. In addition,  the complexity of protocols make them very hard to analyze in an  informal way. There is, therefore, a need for precise and unambiguous  specification using some formal languages.    Many protocol implementations used in the field have almost suffered  from failures, such as deadlocks. When the conditions in which the  protocols work correctly have been changed, there has been no general  method available for determining how they will work under the new  conditions. It is necessary for protocol designers to have techniques  and tools to detect errors in the early phase of design, because the  later in the process that a fault is discovered, the greater the cost  of rectifying it.    Protocol verification is a process of checking whether the  interactions of protocol entities, according to the protocol  specification, do indeed satisfy certain properties or conditions  which may be either general (e.g., absence of deadlock) or specific to  the particular protocol system directly derived from the  specification.    In the 80s, an ISO (International Organization for Standardization)  working group began a programme of work to develop formal languages  which were suitable for Open Systems Interconnection (OSI). This group  called such languages Formal Description Techniques (FDTs). Some of  the objectives of ISO in developing FDTs were: enabling unambiguous,  clear and precise descriptions of OSI protocol standards to be  written, and allowing such specifications to be verified for  correctness. There aretwo FDTs standardized by ISO: LOTOS and  Estelle.   Communication Protocol Specification and Verification is written  to address the two issues discussed above: the needs to specify a  protocol using an FDT and to verify its correctness in order to  uncover specification errors in the early stage of a protocol  development process. The readership primarily consists of advanced  undergraduate students, postgraduate students, communication software  developers, telecommunication engineers, EDP managers, researchers and  software engineers. It is intended as an advanced undergraduate or  postgraduate textbook, and a reference for communication protocol  professionals.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49732963893521,"sku":"NGR9780792382843","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52432498163985,"sku":"NLS9780792382843","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0792382846.jpg?v=1751263978"},{"product_id":"operations-forensics-book-richard-lai-9780262018661","title":"Operations Forensics","description":"Powerful tools for using operations metrics to analyze companies in ways that go beyond traditional financial models and statements.Investors and analysts often need to look into a firm's operations more deeply than traditional financial statements and models allow. This book describes newly developed tools for using operations metrics to discern and influence the valuation of a firm. It is the first to present these techniques from a unified perspective: that of operations forensics, which looks at operations management not from the traditional point of view of a manager but from that of an investor or shareholder.After a discussion of financial statements and the useful but incomplete insights they provide, the book covers the three components of operations forensics: operational indicators, operations details that can predict future performance; operational due diligence, methods for verifying companies' claims about operational excellence and valuing their operational assets; and operational turnaround, an innovative approach to buyout and turnaround strategies. The text also offers brief reviews of operations management concepts, real-world examples of operations forensics, and a glossary. The mathematical material gradually increases in sophistication as the book progresses (but can be skipped without loss of continuity). Each chapter concludes with a Takeaways and Toolkit section, a brief summary of prior research, and suggestions for further reading.Operations forensics offers powerful tools and frameworks for financial analysts, private equity firms, managers, and consultants. This book provides a valuable resource for MBA students and practitioners. Downloadable supplementary material for instructors incudes figures form the text and 42 slides that can be used for class presentations.","brand":"WoB","offers":[{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50128371286289,"sku":"CIN0262018667VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262018667.jpg?v=1750843696"},{"product_id":"communication-protocol-specification-and-verification-book-richard-lai-9781461375371","title":"Communication Protocol Specification and Verification","description":"Communication protocols are rules whereby meaningful  communication can be exchanged between different communicating  entities. In general, they are complex and difficult to design and  implement. Specifications of communication protocols written in a  natural language (e.g. English) can be unclear or ambiguous, and may  be subject to different interpretations. As a result, independent  implementations of the same protocol may be incompatible. In addition,  the complexity of protocols make them very hard to analyze in an  informal way. There is, therefore, a need for precise and unambiguous  specification using some formal languages.    Many protocol implementations used in the field have almost suffered  from failures, such as deadlocks. When the conditions in which the  protocols work correctly have been changed, there has been no general  method available for determining how they will work under the new  conditions. It is necessary for protocol designers to have techniques  and tools to detect errors in the early phase of design, because the  later in the process that a fault is discovered, the greater the cost  of rectifying it.    Protocol verification is a process of checking whether the  interactions of protocol entities, according to the protocol  specification, do indeed satisfy certain properties or conditions  which may be either general (e.g., absence of deadlock) or specific to  the particular protocol system directly derived from the  specification.    In the 80s, an ISO (International Organization for Standardization)  working group began a programme of work to develop formal languages  which were suitable for Open Systems Interconnection (OSI). This group  called such languages Formal Description Techniques (FDTs). Some of  the objectives of ISO in developing FDTs were: enabling unambiguous,  clear and precise descriptions of OSI protocol standards to be  written, and allowing such specifications to be verified for  correctness. There aretwo FDTs standardized by ISO: LOTOS and  Estelle.   Communication Protocol Specification and Verification is written  to address the two issues discussed above: the needs to specify a  protocol using an FDT and to verify its correctness in order to  uncover specification errors in the early stage of a protocol  development process. The readership primarily consists of advanced  undergraduate students, postgraduate students, communication software  developers, telecommunication engineers, EDP managers, researchers and  software engineers. It is intended as an advanced undergraduate or  postgraduate textbook, and a reference for communication protocol  professionals.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52127935725841,"sku":"NLS9781461375371","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461375371.jpg?v=1757488568"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-richard-lai.oembed","provider":"World of Books ","version":"1.0","type":"link"}