Comparing type systems for deadlock freedom.

Ornela Dardha Jorge A. Pérez

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

management system
building blocks
complex systems
data sets
mobile robot
neural network
genetic algorithm
database systems
preprocessing
expert systems
special case
distributed systems
systems require