John H. Reif A. Prasad Sistla A Multiprocess Network Logic with Temporal and Spatial Modalities. 41-53 1985 30 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss30.html#ReifS85