A distributed language based on Pascal and CSP, by Per Brinch Hansen.
["Joyce - A Programming Language for Distributed Systems", Per Brinch Hansen, Soft Prac & Exp 17(1):29-50 (Jan 1987)].