?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 384ba95) | patch
An actor can construct anything *learnable* from anything previously received
commit51a2b2a8c45e839a60cca0ca5e3e35b194e963c3
authorTim Makarios <tjm1983@gmail.com>
Thu, 7 May 2015 00:45:49 +0000 (7 12:45 +1200)
committerTim Makarios <tjm1983@gmail.com>
Thu, 7 May 2015 00:45:49 +0000 (7 12:45 +1200)
treea906834b1dc7a5764cb44e70bc30883fd096dedctree | snapshot (tar.gz zip)
parent384ba954659042748f940aebc57f883d4024627ccommit | diff
An actor can construct anything *learnable* from anything previously received
Communication.thy diff | blob | blame | history
This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.