Zhao Yu
Abstract
The formal method that defines the dynamic semantics of SDL (Specification and Description Language) by means of distributed real time Abstrethod, which is based on CSP (Communicating Sequential Processes), this method defines the semantics of SDL more directly and thus can be understood and maintained easily.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The formal method that defines the dynamic semantics of SDL (Specification and Description Language) by means of distributed real time Abstrethod, which is based on CSP (Communicating Sequential Processes), this method defines the semantics of SDL more directly and thus can be understood and maintained easily.
Key concepts: Computer science, Programming language, Semantics (computer science), Formal semantics (linguistics), Operational semantics, Denotational semantics, Computational semantics, Action semantics