"Stochastic Process Algebra with Value-Passing and Weak Time Restrictions."

Guang Zheng, Jinzhao Wu, Aiping Lu (2011)

Details and statistics

DOI: 10.4304/JSW.6.5.769-782

access: closed

type: Journal Article

metadata version: 2020-09-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics