A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Hi-index | 0.00 |