Login / Signup
Stochastic Process Algebra with Value-Passing and Weak Time Restrictions.
Guang Zheng
Jinzhao Wu
Aiping Lu
Published in:
J. Softw. (2011)
Keyphrases
</>
process algebra
formal specification
model checking
asynchronous circuits
concurrent systems
formal methods
communication protocols
web services composition
concurrent programs
temporal logic
grid workflow
formal languages
machine learning
query processing
knowledge based systems
wireless networks