The aim of static analysis is to develop principles, techniques and tools for validatingpropertie...

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebr...

This book constitutes the proceedings of the 21th International Conference on Coordination Models...

The authors describe here a framework in which the type notation of functional languages is exten...

The authors describe here a framework in which the type notation of functional languages is exten...

This textbook is an introduction to the use of formal methods ranging from semantics of key progr...