Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic (2012)

First Author: John Derrick (Author)

Attributed to: Verifying Concurrent Lock-free Algorithms funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract