Title :
The typing of communicating sequential processes
Author :
Wenjun, Li ; Xiaocong, Zhou ; Shixian, Li
Author_Institution :
Dept. of Comput. Sci., Zhongshan Univ., Guangzhou, China
Abstract :
As an imperative concurrent programming language, CSP is considered weakly typed. We equip CSP with a formal second-order type system. The types of processes and prefixed processes are distinguished and they are treated as generic types that can be instantiated by the subtypes of alphabets. The bounded quantifier is introduced to represent bounded generics
Keywords :
communicating sequential processes; parallel languages; type theory; CSP; alphabets; bounded generics; bounded quantifier; communicating sequential processes; formal second-order type system; generic types; imperative concurrent programming language; prefixed processes; weakly typed language; Computer languages; Computer science; Concurrent computing; Equations; Java; Mathematical model; Mathematics; Object oriented modeling; Object oriented programming;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings
Conference_Location :
Nanjing
Print_ISBN :
0-7695-0393-4
DOI :
10.1109/TOOLS.1999.796467
