Results
eNauka >
Results >
Formal modeling and analysis of resource usage and sharing in distributed software systems