Title	Project Pervasive Association: Toward Acquiring Situations in Sensor Networked Environments
Author	Takeshi Okadome, Takashi Hattori, Kaoru Hiramatsu, Yutaka Yanagisawa
Citation	Vol. 6  No. 3  pp. 134-139
Keywords	real-world semantics, sensor network, situation

Title	Requirement/Service Cooperation Model of Multi-Agent System in the Situation Calculus
Author	Liu Yisong, Zhong Shan, Sun Yamin
Citation	Vol. 7  No. 9  pp. 69-72
Keywords	situation calculus, multi-agent system, cooperation model, cooperation semantics

Title	Partial Redundancy Elimination for Multi-threaded Programs
Author	Mohamed A. El-Zawawy, Hamada A. Nayel
Citation	Vol. 11  No. 10  pp. 127-133
Keywords	Partial redundancy elimination, Type systems, Multi-threaded programs, Operational semantics, Compiler optimization

Title	Dynamic Verification for File Safety of Multithreaded Programs
Author	Mohamed A. El-Zawawy, Nagwan M. Daoud
Citation	Vol. 12  No. 5  pp. 14-20
Keywords	File safety, Operational semantics, Rewriting logic, Multi-threaded programs