An Expressive Logic for a Process Algebra with Silent Actions.

Susanne Graf Joseph Sifakis An Expressive Logic for a Process Algebra with Silent Actions. 44-61 1987 conf/tls/1987 Temporal Logic in Specification db/conf/tls/tls1987.html#GrafS87