{ "item_title" : "Formal Techniques for Distributed Objects, Components, and Systems", "item_author" : [" Jorge A. Pérez", "Nobuko Yoshida "], "item_description" : "Psi-Calculi Revisited: Connectivity and Compositionality.- Squeezing Streams and Composition of Self-Stabilizing Algorithms.- Parametric Updates in Parametric Timed Automata.- Parametric Statistical Model Checking of UAV Flight plan.- Only Connect, Securely.- Output-sensitive Information Flow Analysis.- Component-aware Input-Output Conformance.- Declarative Choreographies and Liveness.- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.- Causal-Consistent Replay Debugging for Message Passing Programs.- Correct and Efficient Antichain Algorithms for Refinement Checking.- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification.- Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs.- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.- On Certifying Distributed Algorithms: Problem of Local Correctness.- On a Higher-order Calculus of Computational Fields.- Semantically Sound Analysis of Content Security Policies. ", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/03/021/758/3030217582_b.jpg", "price_data" : { "retail_price" : "69.99", "online_price" : "69.99", "our_price" : "69.99", "club_price" : "69.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details