UNITY and Büchi automata
type: Item
instance of: scholarly article
title: UNITY and Büchi automata
author: W. H. Hesselink
published in: Formal Aspects of Computing
publication date: 2021-05-19T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7349689
zbMATH Keywords: concurrency
zbMATH Keywords: progress
zbMATH Keywords: UNITY
zbMATH Keywords: LTL
zbMATH Keywords: Büchi automaton
describes a project that uses: UNITY
describes a project that uses: SPIN
MaRDI profile type: Publication
full work available at URL: s00165-020-00528-x
OpenAlex ID: W3126386092
cites work: The existence of refinement mappings
cites work: Q5322945
cites work: Distributed cooperation with action systems
cites work: Q5525343
cites work: A foundation for modular reasoning about safety and progress properties of state-based concurrent programs
cites work: Q4692502
cites work: Predicate transformers for reasoning about concurrent computation
cites work: Q4144755
cites work: DUALITY: A simple formalism for the analysis of UNITY
cites work: Computation calculus bridging a formalization gap
cites work: A predicate transformer for the progress property `to-always'
cites work: Programs, Recursion and Unbounded Choice
cites work: Q4470520
cites work: Q2738289
cites work: Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
DOI: 10.1007/S00165-020-00528-X
description: scientific article; zbMATH DE number 7349689