This book constitutes the thoroughly refereed post-conference proceedings of the 4th Internationa...

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

Concurrent and distributed processes occur everywhere: in embedded systems, in information networ...

Semantics will have an important role to play in the future development of software systems and d...

This open access book constitutes the proceedings of the 8th International Conference on Principl...

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

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

This book provides a framework in which the type notation of functional languages is extended to ...

This book constitutes the thoroughly refereed post-conference proceedings of the 4th Internationa...

Semantics will have an important role to play in the future development of software systems an...

Concurrent and distributed processes occur everywhere: in embedded systems, in information networ...