Fencing off go: liveness and safety for channel-based programming

Lange J, Ng N, Toninho B, Yoshida N
January 2017
Conference paper
Association for Computing Machinery (ACM)
,
pp.
748 - 761
No abstract available
Keywords:

4613 Theory Of Computation

,

46 Information and Computing Sciences

,

4612 Software Engineering

DOI
10.1145/3009837.3009847