书目详细信息 : 分区异步元胞自动机模型及其应用