hets -- a heterogenous Specification (CASL) tool set
Contents
Index
CspCASL.AS_CSP_CASL
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
abstract syntax of CSP-CASL
Synopsis
data
C3PO
=
Named_c3po
NAMED_CSP_CASL_C_SPEC
|
C3po
CSP_CASL_C_SPEC
data
NAMED_CSP_CASL_C_SPEC
=
Named_csp_casl_spec
SPEC_NAME
CSP_CASL_C_SPEC
type
SPEC_NAME
=
SIMPLE_ID
data
CSP_CASL_C_SPEC
=
Csp_casl_c_spec
DATA_DEFN
CHANNEL_DECL
PROCESS_DEFN
data
Basic_CSP_CASL_C_SPEC
=
Basic_csp_casl_c_spec
CHANNEL_DECL
PROCESS_DEFN
type
DATA_DEFN
=
BASIC_SPEC
data
CHANNEL_DECL
=
Channel_items
[
CHANNEL_ITEM
]
data
CHANNEL_ITEM
=
Channel_decl
[
CHANNEL_NAME
]
SORT
type
CHANNEL_NAME
=
SIMPLE_ID
type
PROCESS_NAME
=
SIMPLE_ID
data
PROCESS_DEFN
=
Basic
PROCESS
|
Recursive
[
PROCESS_EQUATION
]
NAMED_PROCESS
|
Generic_recursive
[
PROCESS_EQUATION
]
GEN_NAMED_PROCESS
data
NAMED_PROCESS
=
Named
PROCESS_NAME
data
GEN_NAMED_PROCESS
=
Generic_named
PROCESS_NAME
TERM
data
GENERIC_EQUATION
=
Generic
PROCESS_NAME
VAR
EVENT_SET
data
PROCESS_EQUATION
=
Equation
NAMED_PROCESS
PROCESS
|
Generic_equation
GENERIC_EQUATION
PROCESS
data
PROCESS
=
Named_process
NAMED_PROCESS
|
Generic_named_process
GEN_NAMED_PROCESS
|
Skip
|
Stop
|
Prefix
EVENT
PROCESS
|
Multiple_prefix
VAR
EVENT_SET
PROCESS
|
Sequential
[
PROCESS
]
|
External_choice
[
PROCESS
]
|
Internal_choice
[
PROCESS
]
|
Alphabet_parallel
PROCESS
EVENT_SET
PROCESS
|
General_parallel
PROCESS
EVENT_SET
EVENT_SET
PROCESS
|
Synchronous_parallel
[
PROCESS
]
|
Interleaving_parallel
[
PROCESS
]
|
Hiding
PROCESS
EVENT_SET
|
Csp_sort_renaming
PROCESS
SORT_RENAMING
|
Csp_channel_renaming
PROCESS
CHANNEL_RENAMING
|
Conditional_process
FORMULA
PROCESS
|
Conditional_choice
FORMULA
PROCESS
PROCESS
|
Guarded_command
FORMULA
PROCESS
|
Channel_parallel
PROCESS
CHANNEL_NAME
CHANNEL_NAME
PROCESS
data
EVENT_SET
=
Event_set
SORT
data
SORT_RENAMING
=
Op_list
[
OP_NAME
]
data
CHANNEL_RENAMING
=
Channel_renaming
CHANNEL_NAME
CHANNEL_NAME
data
EVENT
=
Term
TERM
|
Send
CHANNEL_NAME
TERM
|
Receive
CHANNEL_NAME
VAR
SORT
Produced by
Haddock
version 0.6