Aspect-Oriented Distributed Formal Specification Language

• 面向方面分布式系统形式化规格说明语言