A Multiprocess Network Logic with Temporal and Spatial Modalities.

John H. Reif, A. Prasad Sistla

Browse the full ICALP paper archive.