Messages in this thread | | | From | "Peter T. Breuer" <> | 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/
| |