Real Time Process Algebra with Urgency Executing Policy.

Wenbo Chen Guang Zheng Lian Li Jinzhao Wu

Published in: J. Softw. (2009)

Keyphrases

real time
process algebra
formal specification
formal methods
asynchronous circuits
concurrent systems
model checking
communication protocols
web services composition
artificial intelligence
case study
open source
concurrent programs
expert systems
general purpose
petri net