• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Må bättre, för mindre! Upp till 50% rabatt på hälsoböcker

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

    Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

    AvMário S. Alvim,Kostas Chatzikokolakis

    Häftad, Engelska, 2019

    Del 11760 i serien Lecture Notes in Computer Science

    563 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    ​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; logic and constraint programming; security and privacy; and models and puzzles.These contributions are a tribute to Catuscia Palamidessi’s intellectual depth, vision, passion for science, and tenacity in solving technical problems. They also reflect the breadth and impact of her work. Her scientific interests include, in chronological order, principles of programming languages, concurrency theory, security, and privacy.

    Produktinformation

    • Utgivningsdatum:2019-09-12
    • Mått:155 x 235 x 27 mm
    • Vikt:744 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:461
    • Förlag:Springer Nature Switzerland AG
    • ISBN:9783030311742

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programvaruutveckling inom Data och IT
    • Artificiell intelligens inom Data och IT

    Innehållsförteckning

    • Concurrency.- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size.- Axiomatizing Team Equivalence for Finite-State Machines.- Asynchronous pi-calculus at work: the call-by-need strategy.- Deadlock Analysis of Wait-Notify Coordination.- Enhancing reaction systems: a process algebraic approach.- Checking the Expressivity of Firewall Languages.- Polymorphic Session Processes as Morphisms.- Guess Who's Coming: Runtime Inclusion of Participants in Choreographies.- A Complete Axiomatizion of Branching Bisimulation for a Simple Process Language with Probabilistic Choice.- Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.- Stronger Validity Criteria for Encoding Synchrony.- Confluence of the Chinese Monoid.- Logic and Constraint Programming.- A coalgebraic approach to unification semantics of logic programming.- Polyadic Soft Constraints.- Security and Privacy.- Core-concavity, Gain Functions and Axioms for Information Leakage.-Formalisation of Probabilistic Testing Semantics in Coq.- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.- Fooling the Parallel Or Tester with Probability 8/27.- Categorical information flow.- Statistical Epistemic Logic.- Approximate model counting, sparse XOR constraints and minimum distance.- Verification and Control of Turn-Based Probabilistic Real-Time Games.- Refinement Metrics for Quantitative Information Flow.- Models and Puzzles.- Toward a Formal Model for Group Polarization in Social Networks.- Make Puzzles Great Again.