"Correctness Criterion for Concurrent Executions."

Details and statistics

DOI: 10.1007/978-0-387-39940-9_2306

access: closed

type: Reference Work

metadata version: 2017-07-12