[ARTICLE] formal description of linux kernel

From: Peter T. Breuer (ptb@it.uc3m.es)
Date: Thu May 30 2002 - 10:59:15 EST


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/



This archive was generated by hypermail 2b29 : Fri May 31 2002 - 22:00:29 EST