抄録
The way for expressing biological systems is a key element of usability. Expressions used in the biological society and those in the computer science society have their own merits. But they are too different for one society to utilize the expressions of the other society. In this paper, we design the bio-calculus that attempts to bridge this gap. We provide syntax which is similar to conventional expressions in biology and at the same time specifies information needed for simulation analysis. The information and mathematical background of bio-calculus is what is desired for the field of computer science. We show the practicality of bio-calculus by describing and simulating some molecular interactions with bio-calculus.
