Specifying concurrent systems with Δ-grammars

Simon M. Kaplan, Steven K. Goering, Roy H. Campbell. Specifying concurrent systems with Δ-grammars. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 20-27, ACM, 1989. [doi]

Abstract

Abstract is missing.