ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
ACM Transactions on Computational Logic (TOCL)
Dynamic connectors for concurrency
Theoretical Computer Science
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Distributed ECA rules for data management policies
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 5.23 |