C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
RATCOP: Relational Analysis Tool for Concurrent Programs.
Suvam Mukherjee
Oded Padon
Sharon Shoham
Deepak D'Souza
Noam Rinetzky
Published in:
Haifa Verification Conference (2017)
Keyphrases
</>
analysis tool
concurrent programs
relational databases
concurrent programming
data model
web applications
concurrent processes
general purpose
relational model
process algebra
end users
object oriented
business process
computer networks