Optimization Way of Engineering Equipment Maintenance Based on Process Algebra.

Xiaonan Zhang Anxin Liu Jun Yan Bin Liu Hongliang Liu Qingzheng Gao

Published in: SSME (2009)

Keyphrases

process algebra
formal specification
asynchronous circuits
concurrent systems
model checking
formal methods
artificial intelligence
web services composition
concurrent programs
real time
social networks
multi agent systems
relational databases
temporal logic