The ECSP language and its implementation

Abstract

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

Topics

  • Presentations referencing similar topics