. . . . . . . 33 SamsonAbramsky 3 OnMereologiesinComputingScience. . . . . . . . . . . . . . . . ...

Both object orientation and parallelism are modern programmingparadigms which have gained much ...

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...

Refinement is the term used to describe systematic and formal methods of specifying hard- and sof...

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...