Concurrency theory will set standards for description and analysis of software
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Compositional State Space Reduction Using Untangled Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification techniques for distributed algorithms
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Hi-index | 0.00 |