Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Electronic Proceedings in Theoretical Computer Science, EPTCS - United States
doi 10.4204/eptcs.60.5
Full Text
Open PDFAbstract
Available in full text
Categories
Date
August 6, 2011
Authors
Publisher
Open Publishing Association