A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk).

Azadeh Farzan Zachary Kincaid

Published in: CONCUR (2017)

Keyphrases

invited talk
knowledge discovery and data mining
computer programs
selected papers
concurrent programs
theorem proving
carefully reviewed and selected from submissions
program committee
information systems
accepted papers
natural deduction