Machen Sie sich bereit, das Raumschiff Enterprise-D auf seiner Jungfernfahrt zu begleiten und dor...

Insight, Inspiration and Collaboration.- From CSP to Game Semantics.- On Mereologies in Computing...

Both object orientation and parallelism are modern programming paradigms which have gained much p...

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical...

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

This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Com...

VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of...

This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday...

Models and Software Model Checking of a Distributed File Replication System.- From 'Formal Method...

Many software systems have reached a level of complication, mainly because of their size, heterog...

The growing complexity of modern software systems increases the di?culty of ensuring the overall ...

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of For...