Streamlining progress-based derivations of concurrent programs
Work
Year: 2007
Type: article
Abstract: The logic of Owicki and Gries is a well-known logic for verifying safety properties of concurrent programs. Using this logic, Feijen and van Gasteren describe a method for deriving concurrent program... more
Source: Formal Aspects of Computing
Authors Brijesh Dongol, Arjan J. Mooij
Institutions ARC Centre of Excellence for Engineered Quantum Systems, The University of Queensland, University of Nottingham
Cites: 21
Cited by: 12
Related to: 10
FWCI: 2.122
Citation percentile (by year/subfield): 72.21
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: hybrid