{"product_id":"formal-techniques-for-distributed-objects-components-and-systems-9783031954962","title":"Formal Techniques for Distributed Objects Components and Systems","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cstrong\u003e.- tutorial paper.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- A Choreographic View of Smart Contracts.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- regular papers.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems.\u003c\/p\u003e\u003cp\u003e.- Sequential Composition of BDD Transition Systems for Model-Based Testing.\u003c\/p\u003e\u003cp\u003e.- Scaling Information Flow Control by-Construction to Component-based Software Architectures.\u003c\/p\u003e\u003cp\u003e.- Noninterference Analysis of Stochastically Timed Reversible Systems.\u003c\/p\u003e\u003cp\u003e.- Attribute-based Communication over Pub\/Sub: Transactional Coordination for Smart Systems.\u003c\/p\u003e\u003cp\u003e.- Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring.\u003c\/p\u003e\u003cp\u003e.- Towards Efficient Verification of Parallel Applications with Mc SimGrid.\u003c\/p\u003e\u003cp\u003e.- Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- short papers.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Choreographies for Program Understanding.\u003c\/p\u003e\u003cp\u003e.- An Approach to Formalize Information-theoretic Security of Multiparty Computation Protocols.\u003c\/p\u003e\u003cp\u003e.- SNexpression: a new component for SN matrix-based structural analysis.\u003c\/p\u003e\u003cp\u003e.- Assessing Code Understanding in LLMs.\u003c\/p\u003e\u003cp\u003e.- LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195494097239,"sku":"9783031954962","price":49.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/formal-techniques-for-distributed-objects-components-and-systems-9783031954962","provider":"Book Curl","version":"1.0","type":"link"}