Description

Book Synopsis

(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
Scheduling in FunLess.

Components Operationally Reversibility and System Engineering

    Product form

    £44.99

    Includes FREE delivery

    RRP £49.99 – you save £5.00 (10%)

    Order before 4pm today for delivery by Thu 2 Jul 2026.

    A Paperback by Claudio Antares Mezzina

    3 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Components Operationally Reversibility and System Engineering by Claudio Antares Mezzina

      Publisher: Springer
      Publication Date: 12/5/2025
      ISBN13: 9783031997167, 978-3031997167
      ISBN10: 3031997166

      Description

      Book Synopsis

      (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
      Scheduling in FunLess.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account