OpenAlex | A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

Work

Year: 2018

Type: article

Source: Formal Aspects of Computing

Authors Ian J. Hayes, Larissa Meinicke, Kirsten Winter, Robert J. Colvin

Institutions Queensland University of Technology, The University of Queensland

Cites: 42

Cited by: 16

Related to: 10

FWCI: 1.729

Citation percentile (by year/subfield): 82.83

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Peace, justice, and strong institutions

Open Access status: green

Funder Australian Research Council

Grant ID Discovery Project DP130102901