Towards a Net-Theoretic Notion of Type based on Predicate-Transition Nets
Series: Arbeitspapiere der GMD -- 117
Publisher: Gesellschaft fur Mathematik und Datenverarbeitung
Published: 1984
Place of publication: Bonn
Language: eng
Number of pages: 41