EasyChair Smart SlideUser guide
Conference: REFINE 2018 (Refinement Workshop)

This page shows all presentations from this conference 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

Ordering strict partial orders to model behavioural refinement

Ordering strict partial orders to model behavioural refinement

Mathieu Montin and Marc Pantel

Programming Without Refinement

Programming Without Refinement

Marwa Ben Abdelali, Lamia Labed Jilani, Wided Ghardallou and Ali Mili

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair