论文信息 - Observation Equivalence as a Testing Equivalence

Observation Equivalence as a Testing Equivalence

A notion of testing is developed for transition systems with divergence. The forms of testing include traces, refusals, copying and global testing. Both denotational and operational formulations of testing are given. The equivalence based on this notion of testing is shown to coincide with observation equivalence.

Samson Abramsky | S. Abramsky

[1] Glynn Winskel,et al. On Powerdomains and Modality , 1985, Theor. Comput. Sci..

[2] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.

[3] A. Meyer,et al. Bisimulation can't be traced. Preliminary report , 1987 .

[4] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .

[5] Stephen D. Brookes,et al. Behavioural Equivalence Relations Induced by Programming Logics , 1983, ICALP.

[6] Glynn Winskel,et al. A Note on Powerdomains and Modalitiy , 1983, FCT.

[7] Gordon D. Plotkin,et al. A Powerdomain Construction , 1976, SIAM J. Comput..

[8] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[9] Albert R. Meyer,et al. Bisimulation can't be traced , 1988, POPL '88.

[10] Samson Abramsky,et al. Experiments, Powerdomains and Fully Abstract Models for Applicative Multiprogramming , 1983, FCT.

[11] Robin Milner,et al. A Modal Characterisation of Observable Machine-Behaviour , 1981, CAAP.

[12] Rocco De Nicola,et al. Testing Equivalence for Processes , 1983, ICALP.

[13] Iain Phillips,et al. Refusal Testing , 1986, Theoretical Computer Science.