Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference10 articles.
1. Brinch-Hansen P., Edison—a multiprocessor language,Software—Practice and Experience,11(1981).
2. M. Gordon, The denotational description of programming languages, Springer-Verlag, 1979.
3. C.A.R. Hoare, To wards a theory of parallel programming in “Operating System Techniques”, Academic Press, New York, 1972.
4. W. Li, An operational semantics for Ada multitasking and exception handling, Proceedings of Ada TEC Conference, Washington, 1982.
5. W. Li, An operational approach to semantics and translation for concurrent programming languages, Ph. D. Thesis, Edinborgh, 1982.