Streamlining progress-based derivations of concurrent programs

Overview of attention for article published in Formal Aspects of Computing, June 2007

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#18 of 132)

Mentioned by

wikipedia: 1 Wikipedia page

Readers on

mendeley: 4 Mendeley

So far, Altmetric has seen 1 Wikipedia article.

Interference freedom

Cited by user DavidGries on 21 Nov 2022

In computer science, interference freedom is a technique for proving partial correctness ofconcurrent programs with shared variables.

This page shows the most recent Wikipedia articles that mention this research output. Click here to find out how to access more activity.