Fault-Free Refinements for Interface Automata

DOI10.7561/SACS.2018.2.289zbMath1424.68088WikidataQ129187925 ScholiaQ129187925MaRDI QIDQ4621227

Ayleen Schinko, Walter Vogler

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

divergencerefinementconjunctionquotientquiescenceprecongruence

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

A linear-time branching-time perspective on interface automata ⋮ Interface automata for shared memory

This page was built for publication: Fault-Free Refinements for Interface Automata