Rely/Guarantee Reasoning for Asynchronous Programs.

Ivan Gavran Filip Niksic Aditya Kanade Rupak Majumdar Viktor Vafeiadis

Published in: CONCUR (2015)

Keyphrases

reasoning systems
knowledge base
knowledge representation
reasoning tasks
multi agent
logic programming
content analysis
answer sets
automated reasoning
probabilistic logic
computational properties
consistency checking
java programs
stable model semantics
reasoning mechanisms
logical reasoning