Theories of translation correctness for concurrent programming languages
Ediciones (1)
- Theories of translation correctness for concurrent programming languages. (1987)
University of Edinburgh,Department of Computer Science · inglés
University of Edinburgh,Department of Computer Science · inglés