California Institute / Computer Science Stony Brook University / /
IndustryTerm
formal chemical reaction network specification / chemical reaction network / molecular computing / chemical systems / formal chemical reaction networks / molecular systems / chemical reaction networks / vector addition systems / /
Organization
California Institute of Technology / Graduate School / Computer Science Stony Brook University / /
Person
Qing Dong Master / Charles Taber / Qing Dong / Steve Skiena / /
A bisimulation approach to verification of molecular implementations of formal chemical reaction networks A Thesis Presented by Qing Dong