@incollection{BonnetKieferLin:2014,
    Author = {Bonnet, R{\'e}mi and Kiefer, Stefan and Lin, Anthony Widjaja},
    BookTitle = {Foundations of Software Science and Computation Structures},
    Editor = {Muscholl, Anca},
    File = {Analysis of Probabilistic Basic Parallel Processes - Bonnet, Kiefer, Lin (1) (0) - a - a - q.pdf},
    ISBN = {978-3-642-54829-1},
    Pages = {43-57},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Analysis of Probabilistic Basic Parallel Processes},
    URL = {http://dx.doi.org/10.1007/978-3-642-54830-7\_3},
    Volume = {8412},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-54830-7\_3},
    date-added = {2014-05-26 09:17:13 +0000},
    date-modified = {2014-05-26 09:17:13 +0000},
    doi = {10.1007/978-3-642-54830-7_3}
}

@incollection{BonnetKieferLin:2014, Author = {Bonnet, R{\'e}mi and Kiefer, Stefan and Lin, Anthony Widjaja}, BookTitle = {Foundations of Software Science and Computation Structures}, Editor = {Muscholl, Anca}, File = {Analysis of Probabilistic Basic Parallel Processes - Bonnet, Kiefer, Lin (1) (0) - a - a - q.pdf}, ISBN = {978-3-642-54829-1}, Pages = {43-57}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Analysis of Probabilistic Basic Parallel Processes}, URL = {http://dx.doi.org/10.1007/978-3-642-54830-7_3}, Volume = {8412}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-54830-7_3}, date-added = {2014-05-26 09:17:13 +0000}, date-modified = {2014-05-26 09:17:13 +0000}, doi = {10.1007/978-3-642-54830-7_3} }