Quantified abstract configurations of distributed systems

Overview of attention for article published in Formal Aspects of Computing, November 2014

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 3 Dimensions

Readers on

mendeley: 5 Mendeley

Summary X Dimensions citations

So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

Article in Journal of Automated Reasoning (December 2016)

Resource Analysis of Distributed Systems

Book chapter (March 2016)

Resource Analysis: From Sequential to Concurrent and Distributed Programs

Book chapter (January 2015)