On powerdomains and modality

Apt, 1981, A Cook's tour of countable nondeterminism, 115 Dummett, 1977 Guessarian, 1981, 99 Hennessy, 1979, On observing nondeterminism and concurrency, 85 Hennessy, 1982, Testing equivalences for processes Hennessy, 1979, 74, 1 Hoare, 1981, A model for communicating sequential processes Lamport, 1980, Proving liveness properties of concurrent programs Plotkin, 1976, A powerdomain construction, SIAM J. Comput., 5, 452, 10.1137/0205035 Plotkin, 1982, A powerdomain for countable non-determinism, 140 Smyth, 1978, Powerdomains, JCSS, 16 Scott, 1982, 140