Ingólfsdóttir, A. A Semantic Theory for Value-Passing Processes Based on the Late Approach. BRICS 2003, 10.