Safety and liveness from a methodological point of view
type: Item
instance of: scholarly article
title: Safety and liveness from a methodological point of view
zbMATH Open document ID: 0703.68019
DOI: 10.1016/0020-0190(90)90181-V
author: Frank Dederichs
author: Rainer Weber
published in: Information Processing Letters
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68M15
zbMATH DE Number: 4153863
zbMATH Keywords: specification methodology
zbMATH Keywords: safety
zbMATH Keywords: liveness properties
zbMATH Keywords: distributed systems
describes a project that uses: UNITY
MaRDI profile type: Publication
cites work: Defining liveness
cites work: Q4692502
cites work: Q3746875
full work available at URL: 0020-0190(90)90181-v
OpenAlex ID: W1964796077
description: scientific article; zbMATH DE number 4153863