An axiomatic proof technique for parallel programs
type: Item
instance of: scholarly article
title: An axiomatic proof technique for parallel programs
zbMATH Open document ID: 0312.68011
DOI: 10.1007/BF00268134
author: Susan Owicki
author: David Gries
published in: Acta Informatica
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3488599
MaRDI profile type: Publication
cites work: Q5679697
cites work: Q4117366
cites work: Q4134900
cites work: An axiomatic basis for computer programming
cites work: Proof of a structured program: 'The sieve of Eratosthenes'
cites work: Consistent and complementary formal theories of the semantics of programming languages
cites work: Q4068103
cites work: Proving properties of interacting processes
cites work: Correctness of parallel programs: The Church-Rosser approach
cites work: The structure of the “THE”-multiprogramming system
cites work: Q4178461
description: scientific article; zbMATH DE number 3488599