A predicate transformer for progress
type: Item
instance of: scholarly article
title: A predicate transformer for progress
zbMATH Open document ID: 0694.68016
DOI: 10.1016/0020-0190(90)90218-M
author: Edgar Knapp
published in: Information Processing Letters
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 4137306
zbMATH Keywords: progress
zbMATH Keywords: concurrency
zbMATH Keywords: livenes
zbMATH Keywords: parallelism
zbMATH Keywords: UNITY
zbMATH Keywords: leads-to
zbMATH Keywords: predicate transformer
MaRDI profile type: Publication
cites work: Q4692502
cites work: On a cultural gap
cites work: Proving the Correctness of Multiprocess Programs
full work available at URL: 0020-0190(90)90218-m
OpenAlex ID: W2005989073
description: scientific article; zbMATH DE number 4137306