এই পাঠটি: A type discipline for message passing parallel programs