Used together with:
communic
(1)
static
(1)
interprocess
(1)
check
(1)
Stem
ecsp$ (
all stems
)
1 papers:
SCC-1984-BaiardiRV
#communication
#static analysis
Static checking of interprocess communication in ECSP (
FB
,
LR
,
MV
), pp. 290–299.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.