Eventual determinism: Using probabilistic means to achieve deterministic endsJ.R. Rao1995HICSS 1995Conference paper
Concert/C: A Language for Distributed ProgrammingJoshua S. AuerbachArthur P. Goldberget al.1994WTEC 1994Conference paper
Reasoning about Probabilistic Parallel ProgramsJosyula R. Rao1994ACM Transactions on Programming Languages and Systems (TOPLAS)Paper