?url_ver=Z39.88-2004&rft_id=10.4204%2FEPTCS.60.5&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Bernardo%2C+Marco&rft.aulast=Bernardo&rft.aufirst=Marco&rft.atitle=Uniform+labeled+transition+systems+for+nondeterministic%2C+probabilistic%2C+and+stochastic+process+calculi&rft.title=Electronic+Proceedings+in+Theoretical+Computer+Science&rft.date=2011&rft.volume=60&rft.pages=66-75&rft.issn=2075-2180&rft.genre=article