Skip to main content
Springer Nature Link
Log in

Testing congruence for mobile processes

  • Correspondence
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

Testing equivalence on π processes has been studied in literature. The equivalence is not closed under the input prefix operator and is therefore not a congruence relation. This note takes a look at testing congruence on finite π processes. A complete equational system is given for the congruence relation.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. M Boreale, R De Nicola. Testing equivalence for mobile processes.Information and Computation, 1995, 120: 279–303.

    Article  MATH  MathSciNet  Google Scholar 

  2. R De Nicola, M Hennessy. Testing equivalence for processes.Theoretical Computer Science, 1984, 34: 83–133.

    Article  MATH  MathSciNet  Google Scholar 

  3. Fu Yuxi. A proof theoretical approach to communications. InICALP’97, July 7th–11th, Bologna, Italy, Lecture Notes in Computer Science 1256, Springer, 1997, pp.325–335.

  4. Fu Yuxi. Bisimulation lattice of chi processes. InASIAN’98, December 8–10, Manila, The Philippines, Lecture Notes in Computer Science 1538, Springer, 1998, pp.245–262.

  5. Fu Yuxi, Variations on mobile processes.Theoretical Computer Science, 1999, 221: 327–368.

    Article  MATH  MathSciNet  Google Scholar 

  6. Fu Yuxi. Open bisimulations of chi processes. InCONCUR’99, Eindhoven, The Netherlands, August 24–27, Lecture Notes in Computer Science 1664, Springer, 1999, pp.304–319.

  7. Fu Yuxi. An open problem of mobile processes. Note.

  8. Fu Yuxi, Yang Z. Open bisimularity of mobile process calculi.Chinese Journal of Computers, 2001, 24 (7): 673–679.

    MathSciNet  Google Scholar 

  9. Fu Yuxi, Yang Z. Chi calculus with mismatch. InCONCUR 2000, August 22–25, Pennsylvenia, USA, Lecture Notes in Computer Science 1877, Springer, 2000, pp.596–610.

  10. Fu Yuxi, Yang Z. The ground congruence for chi calculus. InFST&TCS 2000, December 13–15, India, Lecture Notes in Computer Science 1974, Springer, 2000, pp.385–396.

  11. Hennessy M. An Algebraic Theory of Processes. MIT Press, Cambridge, MA, 1988.

    Google Scholar 

  12. Hennessy M, Lin H. Symbolic bisimulations.Theoretical Computer Science, 1995, 138: 353–369.

    Article  MATH  MathSciNet  Google Scholar 

  13. Lin H. Complete inference systems for weak bisimulation equivalences in the π-calculus. InProceedings of TAP-SOFT’95, Lecture Notes in Computer Science 915, Springer, 1995.

  14. Milner R. Communication and Concurrency. Prentice Hall, 1989.

  15. Milner R, Parrow J, Walker D. A calculus of mobile processes.Information and Computation, 100: 1–40 (Part I). 41–77 (Part II), Academic Press.

  16. Parrow J, Sangiorgi D. Algebraic theories for name-passing calculi.Journal of Information and Computation, 1995, 120: 174–197.

    Article  MATH  MathSciNet  Google Scholar 

  17. Sangiorgi D. A theory of bisimulation for π-calculus. InCONCUR 93, Lecture Notes in Computer Science 715. Springer, 1993.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Shanghai Jiaotong University, 200030, Shanghai, P.R. China

    Yuxi Fu

Authors
  1. Yuxi Fu
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Yuxi Fu.

Additional information

The work is supported by the NNSFC (No.69873032), the Young Scientist Research Fund and the University Scholar Funding Scheme. It is also supported by BASICS, Center of Basic Studies in Computing Science, sponsored by Shanghai Education Commission. BASICS is affiliated to the Department of Computer Science of Shanghai Jiaotong University.

FU Yuxi is a professor at the Department of Computer Science of Shanghai Jiaotong University. He received his Ph.D. degree in 1992 from Manchester University, England. His current research interests include concurrency theory, type theory and semantics.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fu, Y. Testing congruence for mobile processes. J. Comput. Sci. & Technol. 17, 73–82 (2002). https://doi.org/10.1007/BF02949827

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02949827

Keywords