Current Trends in Concurrency

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 citations on 2 Wikipedia pages.

In model checking, a branch of computer science, linear time properties are used to describe requirements of a model of a computer system.

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.