lkml.org 
[lkml]   [2002]   [May]   [30]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
Subject[ARTICLE] formal description of linux kernel
Date
I've just finished the first draft of a formal description of the
linux kernel - or at least some parts of it. In the spirit of
opensource I'm making it available before submitting it to a journal and
the copy will change as I revise it. I'd welcome collaborators or
criticisms or suggestions.

http://www.it.uc3m.es/ptb/linux-model.ps



Peter
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2005-03-22 13:26    [W:0.048 / U:0.156 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site