Suchergebnisse - "Parallelism and concur- rency General Terms Algorithms"
-
1
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Formal methods, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification, D.3.2 [Lan- guage Classifications, Concurrent, distributed, and parallel lan- guages, F.1.2 [Models of Computation, Parallelism and concur- rency General Terms Algorithms, Reliability, Verification Keywords Concurrency, Parallelism, Verification
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science