Time analysis of actor programs.

Cosimo Laneve Michael Lienhardt Ka I Pun Guillermo Román-Díez

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

Keyphrases

quantitative analysis
databases
statistical analysis
real time
case study
decision making
database systems
wide range
digital libraries
probability distribution
automatic programming