Suchergebnisse - "Parallelism and concur- rency General Terms Algorithms"

Analysis of recursively parallel programs

Autoren: Ahmed Bouajjani Michael Emmi The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ahmed Bouajjani Michael Emmi The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-popl-BouajjaniE12.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.9387

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.9387
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-popl-BouajjaniE12.pdf