The ECSP language and its implementation


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 flexibly. By formalizing this method, locality and… (More)
DOI: 10.1007/BF02948396


  • Presentations referencing similar topics