Forward analysis of depth-bounded processes
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
A Partial Order Representation of Processes of Transforming Graphs
Fundamenta Informaticae
ABSTRACT SEMANTICS FOR ESM SYSTEMS
Fundamenta Informaticae
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
Hi-index | 0.00 |