软件架构设计的过程代数方法PDF书籍下载

原名:A Process Algebraic Approach to Software Architecture Design
作品简介:并发理论、软件架构、系统建模和验证以及可靠性和性能评估似乎是无关的学科，但实际上它们是深深交织在一起的，应该成为一个集成视图的一部分，以便成功管理日益复杂的系统。……