Graphical Views of Process-Orientated Specifications

David W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel. Graphical Views of Process-Orientated Specifications. In Kenneth J. Turner, editor, Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. pages 143-156, North-Holland, 1988.

Abstract

Abstract is missing.