Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Tue, 14 January 2020 at 02:40 pm in Massa Marittima, Italy
Joint work with: Valentina Castiglioni, Simone Tini
Abstract: In this talk I will present you a recent work that aims to "measure" the distanced between programs controlling data. The proposed distance will be also used to study "good properties" of programs and as a tool for verifying expected behaviours.