Re: Formal modeling of systems based on E/CapTP/(Water)Ken/Cap'n Proto ideas
Raoul Duke <[email protected]> Mon, 6 Jul 2015 11:28:56 -0700
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <CAJ7XQb7ffH_RdD7VdSedBVUs5qTFZc6bsL_Tcd_TDXfqdqYPvA@mail.gmail.com> |
https://homes.cs.washington.edu/~levy/capabook/Chapter4.pdf :-)