Modeling biological reactivity: statecharts vs. Boolean logic.

Na'aman Kam, Irun R. Cohen, David Harel

Browse the full AVI paper archive.