@MASTERSTHESIS\{IMM2007-05119,
    author       = "S. Zavrotschi",
    title        = "A Static Analysis of Value Passing {CCS} with Application to Workflows",
    year         = "2007",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5119-full.html"
}