Jinho On Jungrhan Choi Moonkun Lee A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. 56-62 2008 FCS conf/fcs/2008 db/conf/fcs/fcs2008.html#OnCL08