Program analysis concerns static techniques for computing reliable approximate information about ...

This book constitutes the refereed proceedings of the First International Conference on Coordinat...

Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems wi...

Program analysis concerns static techniques for computing reliable approximate information about ...

This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP...

O cálculo lambda é um dos pilares da ciência da computação. Para além¿do seu papel histórico em t...

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the o...

Coordination, considered abstractly, is an ubiquitous notion in computer science: for example, pr...

The focus of this workshop was the development of mathematically-based techniques of formal speci...