Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Author:   Claudio Antares Mezzina ,  Alan Schmitt
Publisher:   Springer International Publishing AG
Volume:   16065
ISBN:  

9783031997167


Pages:   200
Publication Date:   06 October 2025
Format:   Paperback
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Our Price $171.57 Quantity:  
Pre-Order

Share |

Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday


Overview

This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems. From 2001 to 2015 Jean-Bernard led first the SARDES research team at Inria Grenoble-Rhône-Alpes then the SPADES research team, and from 2015 to 2021 he was the Head of Science of the Inria Grenoble-Rhône-Alpes Research Center. Previously he worked at CNET (Centre National d’Études des Télécommunications) and France Télécom R&D. He has been a long-time board member of DisCoTeC, the main conference on Distributed Computing Technologies, and is a past chair of IFIP Working Group 6.1. His current research interests include concurrency theory, reversibility, process calculi, and reactive and distributed programming languages. In addition to his research and organizational achievements, Jean-Bernard has been an inspiring collaborator, the scope and success of his career is reflected in the contributions to this volume.

Full Product Details

Author:   Claudio Antares Mezzina ,  Alan Schmitt
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   16065
ISBN:  

9783031997167


ISBN 10:   3031997166
Pages:   200
Publication Date:   06 October 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Forthcoming
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

(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.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now