Login / Signup
Compositional and local livelock analysis for CSP.
Madiel Conserva Filho
Marcel Vinícius Medeiros Oliveira
Augusto Sampaio
Ana Cavalcanti
Published in:
Inf. Process. Lett. (2018)
Keyphrases
</>
quantitative analysis
database
data structure
image analysis
special case
real time
learning algorithm
artificial intelligence
information systems
digital libraries
data analysis
artificial neural networks
statistical analysis
automatic analysis