Show
Ignore:
Timestamp:
06.01.2009 17:15:36 (11 months ago)
Author:
csliam
Message:

Static analysis of CspCASL now returns some events as fully qualified events - but not all (yet)

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/CspCASL/SignCSP.hs

    r11215 r11217  
    179179-- Sentences 
    180180 
    181 -- A CspCASl senetence is either a CASL formula or a Procsses 
    182 -- equation. A process equation has on the LHS a process name, a list 
    183 -- of parameters which are qualified variables (which are terms), a 
    184 -- constituent communication alphabet and finally on the RHS a fully 
    185 -- qualified process. 
     181-- | A CspCASl senetence is either a CASL formula or a Procsses 
     182--   equation. A process equation has on the LHS a process name, a 
     183--   list of parameters which are qualified variables (which are 
     184--   terms), a constituent( or is it permitted ?) communication alphabet and 
     185--   finally on the RHS a fully qualified process. 
    186186data CspCASLSen = CASLSen (FORMULA ()) 
    187187                | ProcessEq PROCESS_NAME ProcVarList CommAlpha PROCESS