Elements of a temporal logic coping with concurrency (1992)

by W Reisig
Venue:92A, Techn. Universitat Munchen