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

• Pagination: p. 69-74
• Serial:
  • HART '97 (1997 : Grenoble, France). Hybrid and real-time systems
  • Publisher: University of Bradford, England

Subject/Index Terms

• TRT Terms: Information processing; Railroad transportation; Safety
• Subject Areas: Railroads; Safety and Human Factors;

Filing Info

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