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