The ECSP Language and Its Implementation
-
Abstract
The ECSP language is a concurrent programming language following Hoare s proposals of Communicating Sequential Processes.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 flexibly.By formalizing this method,locality and validity of the implementation can be easily reached.
-
-