C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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