A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space.