- [1] R. L. Constable and et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall Inc., Englewood Cliffs, New Jersey, 1986. Google ScholarDigital Library
- [2] T. Coquand and G. Huet. The calculus of constructions. Information and Computation, 76(2/3), 1988. Google ScholarDigital Library
- [3] M. Gordon, R. Milner, and C. Wadsworth. Edinburgh LCF. LNCS 78. Springer-Verlag, 1979.Google Scholar
- [4] P. Martin-Löf. Intuitionistic Type Theory. Studies in Proof Theory, Vol. 1. Bibliopolis, Naples, 1984.Google Scholar
- [5] M.-Y. Zhu. AUTOSTAR - a software development system. ACM SIGPLAN Notices, 24(3), March 1989. Google ScholarDigital Library
- [6] M.-Y. Zhu, Lei Luo, and Guang-Ze Xiong. A provably correct operating system: ¿-core. ACM Operating Systems Review, 35(1), 2001. Google ScholarDigital Library
- [7] M.-Y. Zhu and C.-W. Wang. A higher-order lambda calculus: Power Epsilon. Technical report, Beijing Institute of Systems Engineering, Beijing, 1991.Google Scholar
- [8] M.-Y. Zhu and C.-W. Wang. Program derivation in Power Epsilon. In Proceedings of COMPSAC'92, Chicago, September 1992.Google Scholar
Index Terms
- The minimal model of operating systems
Recommendations
A new scheme for sensorless induction motor control drives operating in low speed region
A novel simple stator resistance estimation technique for high-performance induction motor drives is proposed. It makes use of a synchronously revolving reference frame aligned with the stator current vector, so that the resistance can be ...
Notes on minimal realizations of multidimensional systems
In this paper, we formalize two related but different notions for state-space realization of multidimensional ($$n\hbox {D}$$nD) single-input---single-output discrete systems in $$n\hbox {D}$$nD Roesser model, namely the "absolutely minimal realization" ...
Minimal and almost minimal reaction systems
In reaction systems introduced by Ehrenfeucht and Rozenberg the number of resources is, by definition, at least 2. If it is exactly 2, the system is referred to as minimal. We compare minimal reaction systems with almost minimal ones, where the number ...
Comments