Observation equivalence as a testing equivalence

Theoretical Computer Science - Tập 53 - Trang 225-241 - 1987
Samson Abramsky1
1Department of Computing, Imperial College of Science and Technology, London SW7 2BZ, United Kingdom

Tài liệu tham khảo

Abramsky, 1983, Experiments, powerdomains and fully abstract models for applicative multiprogramming, 158, 1

Aczel, 1985

Bloom, 1987, Bisimulation can't be traced, POPL'88

Brookes, 1983, Behavioural equivalences induced by program logics, 154, 97

De Nicola, 1983, Testing equivalences for processes, 154, 548

Ebbinghaus, 1984

Hennessy, 1980, Observing nondeterminism and concurrency, 85, 299

Milner, 1980, A Calculus of Communicating Systems, 92

Milner, 1981, Modal characterisation of observable machine behaviour, 112, 25

Phillips, 1986, Refusal testing, 226, 304

Plotkin, 1976, A powerdomain construction, SIAM J. Comput., 5, 452, 10.1137/0205035

Stirling, 1985, Modal logics for concurrency

Winskel, 1983, Powerdomains and modality, 158, 505

Thông tin
Thông tin xuất bản

Theoretical Computer Science

Tập 53

225-241

Thông tin tác giả