Concert/C: A Language for Distributed ProgrammingJoshua S. AuerbachArthur P. Goldberget al.1994WTEC 1994
Reasoning about Probabilistic Parallel ProgramsJosyula R. Rao1994ACM Transactions on Programming Languages and Systems (TOPLAS)