Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS
Computer Standards & Interfaces
Simulation refinement for concurrency verification
Science of Computer Programming
| Hi-index | 5.23 |