Google 圖書

HENNESSY, M., AND MILNER, R. (1980),. On observing nondeterminism and concurrency, in "Automata, Languages, and Programming.

Stochastic Relations: Foundations for Markov Transition Systems - 第 334 頁
Ernst-Erich Doberkat 著 - 2007 - 376 頁
有限的預覽 - 關於此書

Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11 ...

Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel - 1985 - 540 頁

...Models Based on Synchronously Communicating Processes", Ph.D. thesis. University of Michigan. [HeM] Hennessy, M. and Milner, R., (1980), "On Observing Nondeterminism and Concurrency", in Automata, Languages and Programming, LNCS 85. [HBR] Hoare. CAR. Brookes, S. and Roscoe, A., (1984),...

有限的預覽 - 關於此書