• DocumentCode
    2877006
  • Title

    Process Algebra for Web Servers with Timed-Priority Executing Policy

  • Author

    Zheng, Guang ; Li, Xifu ; Li, Lian ; Wu, Jinzhao

  • Author_Institution
    Sch. of Inf. Sci.-Eng., Lanzhou Univ., Lanzhou, China
  • fYear
    2009
  • fDate
    11-13 Dec. 2009
  • Firstpage
    1
  • Lastpage
    4
  • Abstract
    Web servers providing services are widely used in Internet. The behaviors of web servers can be expressed by actions equipped with parameters of time and priority. However, process algebras nowadays cannot specify the behaviors of web server with different groups of clients with priorities and time limitations. We present a process algebra with timed-priority executing policy that can specify the behaviors of web server, with its actions equipped with parameters of time and priority.
  • Keywords
    Internet; file servers; process algebra; Internet; Web servers; process algebra; timed-priority executing policy; Algebra; Databases; Educational institutions; File servers; Finance; Information technology; Power generation economics; Research and development; Web and internet services; Web server;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
  • Conference_Location
    Wuhan
  • Print_ISBN
    978-1-4244-4507-3
  • Electronic_ISBN
    978-1-4244-4507-3
  • Type

    conf

  • DOI
    10.1109/CISE.2009.5367013
  • Filename
    5367013
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2877006