Reflective Higher-Order Calculus (Rho calculus) is a asynchronous message-passing calculus built on a notion of quoting.