Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Dynamic Scheduling and Fault-Tolerance: Specification andVerification
Real-Time Systems
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Priority and abstraction in process algebra
Information and Computation
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
| Hi-index | 0.00 |