This chapter presents a visual process calculus for designing and simulating computer models of biological systems. The calculus is based on a graphical variant of stochastic pi-calculus extended with ...

Abstract: It is proposed that system safety requirements can be decomposed into a number of sufficient and necessary safety critical functions. The approach is applied to an example of a high voltage ...