Can Message Bu ers be Axiomitized (0)

by A P Sistla, E M Clarke, N Francez, A R Meyer
Venue:in Temporal Logic?, Information & Control