Thomas Bräunl. A specification language for parallel architectures and algorithms. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 49-51, ACM, 1989. [doi]
Abstract is missing.