Vi inför ett kvantitativt synsätt på analysen av distribuerade system som bygger på en linjär operatörsbaserad nätsemantik. Ett typiskt problem i en distribuerad miljö är hur information sprids genom ett nätverk, och en typisk kvalitativ analys handlar om att fastställa om viss information så småningom kommer att överföras från en nod till en annan nod i nätverket. Den kvantitativa metod vi presenterar gör det möjligt att få ytterligare information såsom en uppskattning av sannolikheten för att vissa data överförs inom ett givet tidsintervall. Vi formaliserar situationer som denna med hjälp av en probabilistisk version av en processkalkyl som är kärnan i KLAIM, ett språk för distribuerad och mobil databehandling baserad på interaktioner genom distribuerade tuple utrymmen. Analysen vi presenterar utnyttjar tekniker baserade på Probabilistic Abstract Interpretation och kännetecknas av kompositionsaspekter som avsevärt förenklar kontrollen av nodernas interaktion och upptäckten av informationsutbredningen genom ett datornät.
I REF föreslås en statisk analys baserad på probabilistisk abstrakt tolkning för att hantera distribuerade system.
Quantitative static analysis of distributed systems
{'venue': 'Journal of Functional Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}