"Parallel Composition of Lockstep Synchronous Processes for Hardware ..."

Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics