Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions
From MaRDI portal
Publication:1079373
DOI10.1016/0304-3975(86)90181-7zbMath0597.68049MaRDI QIDQ1079373
Publication date: 1986
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(86)90181-7
liveness; concurrent processes; extended finite automata; event sequences; eventuality; logical circuits; temporal properties of systems
DB lookup for MSC labels failed