Beta 1

Title A Static Analysis of Value Passing CCS with Application to Workflows
Author Zavrotschi, Sergiu
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2007
Series IMM-Thesis-2007-10
Original PDF imm5119.pdf (0.66 MB)
Admin Creation date: 2007-06-11    Update date: 2007-09-14    Source: dtu    ID: 200738    Original MXD