- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 17 Dec 2009 22:08:13 -0600
- To: Henry Story <Henry.Story@Sun.COM>
- Cc: public-cwm-talk@w3.org, Jonathan Rees <jar@creativecommons.org>
On Thu, 2009-12-17 at 21:11 +0000, Henry Story wrote: > Just last week I was arguing in a similar way [1] that one could use some such modal logic > to prove that there is a missing HTTP server request, which is causing the latest HTTPS bug [2]. Interesting. Thanks for the pointers. > [1] http://lists.foaf-project.org/pipermail/foaf-protocols/2009-December/001040.html > [2] we were made aware of this bug by Melvin's post: > http://lists.foaf-project.org/pipermail/foaf-protocols/2009-November/000937.html -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ gpg D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Friday, 18 December 2009 04:08:46 UTC