Deadlock-Free Typestate-Oriented Programming.

Published in: Art Sci. Eng. Program. (2018)

Keyphrases

oriented programming
deadlock free
concurrency control
routing algorithm
object oriented
transaction processing
multi agent
fine grained
database systems
data collection
real time
high dimensional
database management systems