[formal-methods] Programming and paper topics.

Jason Dusek jason.dusek at gmail.com
Thu Jul 23 23:22:17 UTC 2009


2009/07/23 Jason Dusek <jason.dusek at gmail.com>:
> To this, I would add:
>
> . Distributed transaction commit.

  And also:

 .  Files and streams as coroutines.

  This is a far more tractable topic than the others, and I'm
  half done.

--
Jason Dusek


 |...half done.|
  http://github.com/jsnx/streams/blob/master/notes/Journal



More information about the formal-methods mailing list