Aid design and implementation of concurrent systems