A Really Abstract Concurrent Model and its Temporal Logic.

Howard Barringer, Ruurd Kuiper, Amir Pnueli

Browse the full POPL paper archive.