The formal language SystemC~(FL) is the formalization of a reasonable subset of SystemC based on classical process algebra ACP.

• SystemC~(FL)是基于进程代数ACP的SystemC语言的形式化语言。