A System for Incrementally Designing and Verifying Programs. Volume II.

摘要

This appendix contains a transcript of a session with SID in which a simple message switching network that allows secure, asynchronous message transfer among a fixed number of users is incrementally developed. (Author)