Information and Computation
ACM Transactions on Computational Logic (TOCL)
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
Hi-index | 0.00 |