A formal approach to the semantic specification of data flow diagrams.

Tong Liu, C. S. Tang, Rui Zhang

Browse the full COMPSAC paper archive.