Title of Paper:Concurrency Verification with Maximal Path Causality

Hits:

Journal:In Proceeding of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering(ESEC/FSE)

Discipline:Engineering

First-Level Discipline:Computer science and technology *

Translation or Not:no

Date of Publication:2018-12-06