Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.

Kohei Suenaga Naoki Kobayashi

Published in: ESOP (2007)

Keyphrases

data analysis
image analysis
quantitative analysis
real time
data sets
databases
website
multiscale
information technology