RSSATOM
show threads
| Theory | 22. July 2003 |
| Agents, capabilities, streams, scope and turing tapes, petri nets, statistics and other mathematics. | |
| STM locks and byzantine shared state | 11. February 2007 | |||||||
Patrick Logan has concerns with STM, some comments. | ||||||||
| Firefox 3.0 Feature request: Deal with byzantine replicated servers. | 16. October 2006 | |||||||
I'd propose a minor protocol extension to support Askemos compliant networks. | ||||||||
| Capabilities | 22. April 2006 | |||||||
Capability theory related messages go here. | ||||||||
| Object Oriented Type Theory | 2. March 2006 | |||||||
This is an introductory aimed specifically at non-theoreticians set of articles on OO type theory. | ||||||||
| Electronic right, crossing trust boundaries etc. @ LtU | 6. February 2006 | |||||||
Several articles, some which I missed, where on LtU recently. | ||||||||
| Is it possible to save one round in byzantine agreement? | 17. March 2005 | |||||||
Today morning it occured to me that under the special conditions of Askemos-style synchrony it should be possible to save one round of the protocol. | ||||||||
| MIME, XML, SMTP | 4. January 2005 | |||||||
| Choose XML or MIME as the content scheme. | ||||||||
| Re: Theory | 15. November 2003 | |||||||
| Streams (by jfw) | 22. July 2003 | |||||||
| These days I've come across the discussion track of SRFI 40 - streams -. I'm wondering whether streams are essentially the future half of a turing tape, while variable bindings may be rewind marker. | ||||||||