True concurrency in models of asynchronous circuit behavior

DOI10.1023/A:1022902408130zbMath1020.68017OpenAlexW141148094MaRDI QIDQ1870206

S. J. Silver, Janusz A. Brzozowski

Publication date: 11 May 2003

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022902408130

zbMATH Keywords

circuitinterleavingtrue concurrencyasynchronoussemi-modulardelay-insensitivemultiple-winnersingle-winner

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Computer system organization (68M99)

Related Items (1)

Weakly regular quantum grammars and asynchronous quantum automata

This page was built for publication: True concurrency in models of asynchronous circuit behavior