Search Results for 'tokens thread'

tokens thread published presentations and documents on DocSlides.

A Program Logic for Concurrent Objects under Fair Scheduling

by narrativers

Hongjin Liang. . and . Xinyu. Feng. University o...

Compositional Verification of

by danika-pritchard

Termination-Preserving Refinement of Concurrent P...