TY  - SER
AU  - Richter, Gernot
AU  - Maffeo, Bruno
TI  - Toward a Rigorous Interpretation of Esml-Extended Systems Modeling Language
KW  - Concurrent Systems
KW  - Data Flow Diagram
KW  - Trans Formations
ER  -