Abstraction and composition in Δ-specifications of concurrent systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
TOWARDS SYNCHRONOUS AND ASYNCHRONOUS GRAPH TRANSFORMATIONS
Fundamenta Informaticae
Hi-index | 0.00 |