Ideal Arbiters: Analysis and Design

DOI10.1002/J.1538-7305.1987.TB00204.XzbMath0626.68045OpenAlexW2016499434MaRDI QIDQ3030258

Kostas N. Oikonomou

Publication date: 1987

Published in: AT&T Technical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/j.1538-7305.1987.tb00204.x

zbMATH Keywords

complexitydelaytemporal logicBoolean circuitsarbiter automatondiscrete-time automataideal arbiter for concurrent processes

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

This page was built for publication: Ideal Arbiters: Analysis and Design