model for interprocess communication and synchronization via message passing