On Model Checking Techniques for Randomized Distributed Systems.- Collaborative Modelling and Co-...

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Meth...

This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretica...

This book constitutes the refereed proceedings of the 8h International Conference on Model and Da...

This book constitutes the thoroughly refereed papers of the workshops held at the 8th Internation...

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous St...

Regular Research Articles.- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduc...

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explici...

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous St...

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on F...

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explici...