A.P.: A multiprocess network logic with temporal and spatial modalities (1985)

by J Reif, Sistla
Venue:Journal of Computer and System Sciences