Formal derivation of strongly correct concurrent programs
type: Item
instance of: scholarly article
title: Formal derivation of strongly correct concurrent programs
zbMATH Open document ID: 0389.68012
DOI: 10.1007/BF00264015
author: Axel van Lamsweerde
author: Michel Sintzoff
published in: Acta Informatica
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3605898
zbMATH Keywords: STARVATION
zbMATH Keywords: FORMAL DERIVATION OF STRONGLY CORRECT CONCURRENT PROGRAMS
zbMATH Keywords: DEADLOCK-FREE
zbMATH Keywords: SYNCHRONIZING
MaRDI profile type: Publication
cites work: Q4054648
cites work: Q5678412
cites work: A general mechanism for avoiding starvation with distributed control
cites work: Q4144755
cites work: Q4151148
cites work: Q5584402
cites work: A proof method for cyclic programs
cites work: Comments on prevention of system deadlocks
cites work: Formal verification of parallel programs
cites work: Q5624635
cites work: Q4136537
cites work: Q4199501
cites work: Q4151146
description: scientific article; zbMATH DE number 3605898