Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation.

Kazuhide Yasukata Takeshi Tsukada Naoki Kobayashi

Published in: APLAS (2016)

Keyphrases

concurrent programs
higher order
process algebra
model checking
concurrent systems
asynchronous circuits
high order
markov random field
pairwise
concurrent processes
formal methods
concurrent programming
temporal logic
information systems
parallel computing
machine learning
web applications
case study