DocumentCode
3203375
Title
The typing of communicating sequential processes
Author
Wenjun, Li ; Xiaocong, Zhou ; Shixian, Li
Author_Institution
Dept. of Comput. Sci., Zhongshan Univ., Guangzhou, China
fYear
1999
fDate
1999
Firstpage
61
Lastpage
66
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings
Conference_Location
Nanjing
Print_ISBN
0-7695-0393-4
Type
conf
DOI
10.1109/TOOLS.1999.796467
Filename
796467
Link To Document