DUALITY: A simple formalism for the analysis of UNITY
type: Item
instance of: scholarly article
title: DUALITY: A simple formalism for the analysis of UNITY
zbMATH Open document ID: 0835.68067
DOI: 10.1007/BF01211214
author: Rutger M. Dijkstra
published in: Formal Aspects of Computing
publication date: 1995-12-05T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 823616
zbMATH Keywords: language DUALITY
zbMATH Keywords: predicate transformer semantics
describes a project that uses: UNITY
MaRDI profile type: Publication
cites work: Duality in specification languages: A lattice-theoretical approach
cites work: Q4692502
cites work: Predicate transformers for reasoning about concurrent computation
cites work: Q4692630
cites work: Nondeterminacy and recursion via stacks and games
cites work: Eliminating the substitution axiom from UNITY logic
description: scientific article; zbMATH DE number 823616