No. 15 (2003): RS-15 A Semantic Theory for Value-Passing Processes Based on the Late Approach