Parallel logical control algorithms: Verification and hardware implementation

zbMath0896.68090MaRDI QIDQ1388090

D. Massart

Publication date: 8 June 1998

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

zbMATH Keywords

logical control; PRALU

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68W15: Distributed algorithms