Table of Contents

I. Information Systems.- 1. Introduction to the B Method.- 2. Container Station.- 3. Minimum Spanning Tree.- 4. The B Bank.- II. Reactive Systems.- 5. Parallel Programming with the B Method.- 6. Production Cell.- 7. Distributed Load Balancing.- 8. Distributed Electronic Mail System.- References.

Promotional Information

Springer Book Archives