Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Preprint in arXiv (August 2011)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Preprint in arXiv (August 2011)
Article in Electronic Proceedings in Theoretical Computer Science (August 2011)
Article in Theoretical Computer Science (June 2011)