Static-Analysis-of-Actors-by-Abstract-Interpretation-Applying-Abstract-Interpretation-to-an-Higher-Order-Process-Calculus 79,00 EUR*