
Components Operationally: Reversibility and System Engineering
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
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.
More details
Other editions
Additional editions

Content
(Reversible) Concurrency.- Encoding Reversible Petri nets into CCSK.- Bounded Reversibility in HOp.- 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.
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.