Research Article

Quantitative Analysis of Software Approximate Correctness

Figure 1

An example of CCS.