通过单向队列自动机对适应性移动计算系统中组合事件的分析

• Analysis of Composite Events in Adaptive Mobile Computing System by Unidirectional Queue Automata