Deadlock Analysis with Behavioral Types for Actors.

Vincenzo Mastandrea

Published in: ICTCS (2016)

Keyphrases

social networks
wide range
database
website
special case
real time
real world
data mining
multimedia
decision trees
three dimensional
high level
computational complexity
data analysis
medical images
statistical analysis