Some results on complexity of µ-calculus evaluation in the black-box model.

Published in: RAIRO Theor. Informatics Appl. (2013)

Keyphrases

black box
computational model
mathematical model
statistical model
simulation model
evaluation model
high level
evaluation method
metamodel
database
data sets
process model