9 citations · 28 across the 7 of their papers we have counts for
4 papers · 1 filter
Safe Composition of Systems of Communicating Finite State Machines
Franco Barbanera, Rolf Hennicker
The Participants-as-Interfaces (PaI) approach to system composition suggests that participants of a system may be viewed as interfaces. Given a set of systems,one participant per s…
A Hybrid Dynamic Logic for Event/Data-based Systems
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
We propose -logic as a formal foundation for the specification and development of event-based systems with local data states. The logic is intended to cov…
Global Types for Open Systems
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
Global-type formalisms enable to describe the overall behaviour of distributed systems and at the same time to enforce safety properties for communications between system component…
Compatibility Properties of Synchronously and Asynchronously Communicating Components
Rolf Hennicker, Michel Bidoit
We study interacting components and their compatibility with respect to synchronous and asynchronous composition. The behavior of components is formalized by I/O-transition systems…