A really abstract concurrent model and its temporal logic (1986)

by Howard Barringer, Ruurd Kuiper, Amir Pnueli
Venue:In Thirteenth Annual ACM Symposium on Principles of Programming Languages