University of Pennsylvania ScholarlyCommons IRCS Technical Reports Series Institute for Research in Cognitive Science October 1996 Graphical Communicating Shared Resources: A Language for the Speci ication, Reinement, and Analysis of Real-Time Systems Hanene Ben-Abdallah University of Pennsylvania Follow this and additional works at: htp://repository.upenn.edu/ircs_reports University of Pennsylvania Institute for Research in Cognitive Science Technical Report No. IRCS-96-18. his paper is posted at ScholarlyCommons. htp://repository.upenn.edu/ircs_reports/98 For more information, please contact libraryrepository@pobox.upenn.edu. Ben-Abdallah, Hanene, "Graphical Communicating Shared Resources: A Language for the Speciication, Reinement, and Analysis of Real-Time Systems" (1996). IRCS Technical Reports Series. 98. htp://repository.upenn.edu/ircs_reports/98