EasyChair Smart SlideDocs/Log in
Author: Robert Colvin

This page shows all presentations of this author published in EasyChair Smart Slide.

Correctness of Concurrent Objects under Weak Memory Models

Correctness of Concurrent Objects under Weak Memory Models

Graeme Smith, Kirsten Winter and Robert Colvin

A wide-spectrum language for verification of programs on weak memory models

A wide-spectrum language for verification of programs on weak memory models

Robert Colvin and Graeme Smith

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair