OpenAlex | A Wide-Spectrum Language for Verification of Programs on Weak Memory Models

A Wide-Spectrum Language for Verification of Programs on Weak Memory Models

Work

Year: 2018

Type: book-chapter

Source: Lecture notes in computer science

Authors Robert J. Colvin, Graeme Smith

Institutions The University of Queensland, Queensland University of Technology

Cites: 29

Cited by: 24

Related to: 10

FWCI: 11.86

Citation percentile (by year/subfield): 96.79

Topic: Parallel Computing and Optimization Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed