R. Ernst, TU Braunschweig 1 Embedded System Modeling Part 1 R. Ernst TU Braunschweig, Germany.
Sync It Up
1 Synchronization strategies for global computing models Ivan Lanese Computer Science Department University of Bologna.
Dynamic Choreographies Safe Runtime Updates of Distributed Applications Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Joint.
Towards Global and Local Types for Adaptation Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Joint work with Mario Bravetti,
Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Amending Choreographies Joint work with Fabrizio Montesi and Gianluigi Zavattaro.
1 Causal-Consistent Reversible Debugging Ivan Lanese Focus research group Computer Science and Engineering Department University of Bologna/INRIA Bologna,
Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Causal-Consistent Reversibility in a Tuple-Based Language Joint work with Elena.
Causal-Consistent Reversibility in a Tuple-Based Distributed Language
Amending Choreographies
Causal-Consistent Reversible Debugging