formal description of linux kernel

From:	 "Peter T. Breuer" <ptb@it.uc3m.es>
To:	 linux kernel <linux-kernel@vger.kernel.org>
Subject: [ARTICLE] formal description of linux kernel
Date:	 Thu, 30 May 2002 17:59:15 +0200 (MET DST)

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/