C.A.R. HOARE, CommuicatigSequetialProcesses, Comm. ACM vol. 21 no. 8, pp. 666-678 (978). Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
The Esterel Synchronous Programming Language: Design.. - Berry, Gonthier (1992) (443 citations) (Correct)
....we shall give a first class semantic status to trap exit statements, instead of explaining them loosely as control flow diverters. All other statements are common in imperative languages. Notice that the parallel statement can be used at any level; there is no static notion of process as in CSP [29]. In compound statements, the sequencing operator ; has priority over the parallel operator ] When necessary, statements can be grouped by bracketing them with square brackets, as in [stat ] star2] star3 . All variables, signals, or trap labels must be declared before they are used. ....
C.A.R. HOARE, CommuicatigSequetialProcesses, Comm. ACM vol. 21 no. 8, pp. 666-678 (978).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC