Skip to main content
SpringerLink
Log in

Refusal testing

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 226))

Included in the following conference series:

Abstract

We introduce a form of testing concurrent processes which is more powerful than that of De Nicola & Hennessy in that an observer can not only tell that a process performs an action but also discover in finite time that a process will not perform an action. The equivalence associated with refusal testing is compared with De Nicola & Hennessy's testing equivalence and Milner's observation equivalence.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J C M Baeten, J A Bergstra & J W Klop, Ready trace semantics for concrete process algebra with priority operator, CWI Amsterdam Report CS-R8517, 1985

    Google Scholar 

  2. S D Brookes, C A R Hoare & A W Roscoe, A theory of communicating sequential processes, JACM 31 (1984) 560–569

    Google Scholar 

  3. R De Nicola & M C B Hennessy, Testing equivalences for processes, Theoret. Comput. Sci. 34 (1984) 83–133 (and 10th ICALP, LNCS 154 (1983) 548–560)

    Google Scholar 

  4. M C B Hennessy & R Milner, On observing nondeterminism and concurrency, 7th ICALP, LNCS 85 (1980) 299–309

    Google Scholar 

  5. R Milner, A calculus of communicating systems, LNCS 92 (1980)

    Google Scholar 

  6. R Milner, A modal characterisation of observable machine-behaviour, CAAP, LNCS 112 (1981) 25–34

    Google Scholar 

  7. E R Olderog & C A R Hoare, Specification-oriented semantics for communicating processes, 10th ICALP, LNCS 154 (1983) 561–572

    Google Scholar 

  8. I C C Phillips, Refusal Testing, Imperial College Department of Computing Research Report DoC 85/17, 1985

    Google Scholar 

  9. A Pnueli, Linear and branching structures in the semantics and logic of reactive systems, 12th ICALP, LNCS 194 (1985) 15–32

    Google Scholar 

  10. C Stirling, Modal logics for communicating systems, University of Edinburgh Department of Computer Science Internal Report CSR-193-85, 1985

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College of Science and Technology, SW7 2BZ, London

    Iain Phillips

Authors
  1. Iain Phillips
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Laurent Kott

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Phillips, I. (1986). Refusal testing. In: Kott, L. (eds) Automata, Languages and Programming. ICALP 1986. Lecture Notes in Computer Science, vol 226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16761-7_80

Download citation

  • DOI: https://doi.org/10.1007/3-540-16761-7_80

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16761-7

  • Online ISBN: 978-3-540-39859-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation