A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
Semantic models of a timed distributed dataspace architecture
Theoretical Computer Science - Formal methods for components and objects
Hi-index | 0.00 |