{"product_id":"components-operationally-reversibility-and-system-engineering-9783031997167","title":"Components Operationally Reversibility and System Engineering","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e(Reversible) Concurrency.- Encoding Reversible Petri nets into CCSK.- Bounded Reversibility in HOπ.- Bisimulations and Reversibility.- Unique-solution of Equations in Higher-Order Process Calculi with Passivation.- Semantics.- From Complementary to Zipper Semantics.- CESAn: a Core Erlang Semantics Analyser.- Asynchronous Global Protocols, Precisely.- Verification.- Applied Formal Methods at ONERA: An experience Report.- Scalable verification of Local and Global properties of Collective Systems.- A Hybrid Modelling Approach for Hierarchical Control.- Applications.- Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems.- Towards Implementing Distributed Custom Serverless Function\u003cbr\u003eScheduling in FunLess.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":52091423949143,"sku":"9783031997167","price":44.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9783031997167.jpg?v=1762274700","url":"https:\/\/bookcurl.com\/products\/components-operationally-reversibility-and-system-engineering-9783031997167","provider":"Book Curl","version":"1.0","type":"link"}