Figure 1: A High Definition to Standard Definition Digital TV Adapter, Modeled as a Set of Communicating Regular Processes
This document was translated from LATEX by HEVEA.