An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams (1996)

by Gary T. Leavens , Tim Wahls , Albert L. Baker , Kari Lyle
Venue:IOWA STATE UNIVERSITY, DEPARTMENT OF COMPUTER SCIENCE, 226 ATANASOFF HALL, AMES, IOWA 50011
Citations:7 - 6 self