Title: Integrating concurrency and data abstraction in a parallel programming language