Quantitative static analysis of distributed systems

We introduce a quantitative approach to the analysis of distributed systems which relies on a linear operator based network semantics. A typical problem in a distributed setting is how information propagates through a network, and a typical qualitative analysis is concerned with establishing whether...

Full description

Saved in:
Bibliographic Details
Published inJournal of functional programming Vol. 15; no. 5; pp. 703 - 749
Main Authors PIERRO, ALESSANDRA Di, HANKIN, CHRIS, WIKLICKY, HERBERT
Format Journal Article
LanguageEnglish
Published Cambridge, UK Cambridge University Press 01.09.2005
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first