The typing of communicating sequential processes

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 boun...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Technology of Object-Oriented Languages and Systems: Proceedings Conference Nanjing, P. R. China 1999 s. 61 - 66
Hlavní autori: Li Wenjun, Zhou Xiaocong, Li Shixian
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 1999
Predmet:
Computer languages
Computer science
Concurrent computing
Equations
Java
Mathematical model
Mathematics
Object oriented modeling
Object oriented programming
ISBN:0769503934, 9780769503936
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
ISBN:0769503934
9780769503936
DOI:10.1109/TOOLS.1999.796467