This book constitutes the refereed proceedings of the 5th International Conference on Runtime Ver...

This book is an introduction to the design and implementation of operating systems using OSP 2, t...

This book constitutes the proceedings of the 19th International Conference on Tools and Algorithm...

This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, ...

The interaction paradigm is a new conceptualization of computational phenomena that emphasizes in...

The interaction paradigm is a new conceptualization of computational phenomena that emphasizes in...