Formal and Semi-Graphic Specification of Non-Sequential Systems

Bernd J. Krämer. Formal and Semi-Graphic Specification of Non-Sequential Systems. In Horst Morgenbrod, Werner Remmele, editors, Entwurf großer Software-Systeme, Workshop des German Chapter of the ACM vom 8. bis 11.5.1984 in Grassau. Volume 19 of Berichte des German Chapter of the ACM, pages 134-160, Teubner, 1984.

Abstract

Abstract is missing.