Title	A Service Composition-Oriented Workflow Paradigm
Author	Wanchun Dou, Shijie Cai
Citation	Vol. 6  No. 1  pp. 136~146
Keywords	Certificate, Workflow, Service Computing, Web Service, Time Constraint, QoS, Temporal Logic

Title	Logic of Integrating Metric Space and Time
Author	Xie Qi, Liu Dayou, Yu Qiangyuan, Yu Haibo
Citation	Vol. 6  No. 1  pp. 168~172
Keywords	Temporal logic, metric space, distance, spatio-temporal reasoning

Title	A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
Author	Katsumi Wasaki
Citation	Vol. 7  No. 3  pp. 184-192
Keywords	Formal Verification, Model Checking, Temporal Logic, Bus Arbiter, Hardware Description Languages