The ECSP language is a concurrent programming language following Hoare's proposals of Communicating Sequential Processes^[2].To study the language,an implementation tool is designed.Based mainly on replacement,the...The ECSP language is a concurrent programming language following Hoare's proposals of Communicating Sequential Processes^[2].To study the language,an implementation tool is designed.Based mainly on replacement,the method to execute the ECSP programs enables investigators to extend or revise the language flexible.By formalizing this method,locality and validity of the implementation can be easily reached.展开更多
文摘The ECSP language is a concurrent programming language following Hoare's proposals of Communicating Sequential Processes^[2].To study the language,an implementation tool is designed.Based mainly on replacement,the method to execute the ECSP programs enables investigators to extend or revise the language flexible.By formalizing this method,locality and validity of the implementation can be easily reached.
