00883cam0 2200277 450 E60020002323520180710105755.020061201d1967 |||||ita|0103 baitaIT<<Il >>Basso MedioevoJacques Le GoffMilanoFeltrinelli1967384 p23 cmStoria Universale Feltrinelli11(con)001LAEC000230562001 *Storia Universale Feltrinelli11Le_Goff, JacquesAF00004989070318844ITUNISOB20180710RICAUNISOBUNISOB90035648E600200023235M 102 Monografia moderna SBNM900000893Si35648acquistopregresso2UNISOBUNISOB20061201112929.020180710105755.0AlfanoBasso Medioevo156255UNISOB04757nam 22006855 450 99646632880331620200704000711.03-030-21759-010.1007/978-3-030-21759-4(CKB)4100000008347197(DE-He213)978-3-030-21759-4(MiAaPQ)EBC5918483(PPN)242823580(EXLCZ)99410000000834719720190528d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFormal Techniques for Distributed Objects, Components, and Systems[electronic resource] 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings /edited by Jorge A. Pérez, Nobuko Yoshida1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XIV, 299 p. 1287 illus., 38 illus. in color.) Programming and Software Engineering ;115353-030-21758-2 Includes bibliographical references and index.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. .This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.Programming and Software Engineering ;11535Software engineeringProgramming languages (Electronic computers)Computer system failuresComputer logicComputersSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XThe Computing Professionhttps://scigraph.springernature.com/ontologies/product-market-codes/I24075Software engineering.Programming languages (Electronic computers).Computer system failures.Computer logic.Computers.Software Engineering.Programming Languages, Compilers, Interpreters.System Performance and Evaluation.Logics and Meanings of Programs.The Computing Profession.004.36Pérez Jorge Aedthttp://id.loc.gov/vocabulary/relators/edtYoshida Nobukoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466328803316Formal Techniques for Distributed Objects, Components, and Systems1905204UNISA