• DocumentCode
    2622685
  • Title

    Distributed Viewpoint Equivalences for Higher Order Processes

  • Author

    Cao, Zining

  • Author_Institution
    Dept. of Comput. Sci. & Technol., Nanjing Univ. of Aero. & Astro., Nanjing, China
  • Volume
    7
  • fYear
    2009
  • fDate
    March 31 2009-April 2 2009
  • Firstpage
    792
  • Lastpage
    796
  • Abstract
    In this paper, we give two distributed viewpoint equivalences for higher order pi-calculus. We show that the two equivalences are equivalent. Furthermore, we prove that distributed viewpoint equivalences are finer than context bisimulation and are coarser than higher order bisimulation. For some sub languages of higher order pi-calculus, we show that these distributed viewpoint equivalences coincide with higher order bisimulation or context bisimulation.
  • Keywords
    bisimulation equivalence; formal languages; pi calculus; context bisimulation; distributed viewpoint equivalence; formal language; higher order bisimulation; higher order pi-calculus; Calculus; Computer science; Context; Gold; bisimulation; higher order p-calculus;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science and Information Engineering, 2009 WRI World Congress on
  • Conference_Location
    Los Angeles, CA
  • Print_ISBN
    978-0-7695-3507-4
  • Type

    conf

  • DOI
    10.1109/CSIE.2009.261
  • Filename
    5170424
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2622685