N. Raja;R. K. Shyamasundar
-;-
Combinatory formulations of concurrent languages
ACM Transactions on Programming Languages and Systems (TOPLAS)