Paul Bourret, Patrice Cros. A Deterministic Model of Operating Systems. In IFIP Congress. pages 275-280, 1980.
@inproceedings{BourretC80:0, title = {A Deterministic Model of Operating Systems}, author = {Paul Bourret and Patrice Cros}, year = {1980}, tags = {operating system, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/BourretC80%3A0}, cites = {0}, citedby = {0}, pages = {275-280}, booktitle = {IFIP Congress}, }