"Specifying Software/Hardware Interactions in Distributed Systems."

Gruia-Catalin Roman (1987)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics