A CASE STUDY IN TIMED CSP : THE RAILROAD CROSSING PROBLEM

This paper discusses how a timed communicating sequential process (CSP) is applied to a real-time railroad crossing problem.

  • Supplemental Notes:
    • Publication Date: 1997 Published By: Springer Verlag, Berlin
  • Corporate Authors:

    University of Bradford, England

    Department of Computing
    Bradford,   United Kingdom 
  • Authors:
    • Lai, Luming
    • WATSON, P
  • Publication Date: 1997

Language

  • English

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 00777178
  • Record Type: Publication
  • Source Agency: UC Berkeley Transportation Library
  • Files: PATH
  • Created Date: Nov 17 1999 12:00AM