Theories of translation correctness for concurrent programming languages
Main Author: | Millington, M. |
---|---|
Published: |
University of Edinburgh
1985
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370892 |
Similar Items
-
Communications in concurrent systems - programming language primitives and interconnection networks
by: Yantchev, Jelio Todorov
Published: (1992) -
MC : A concurrent programming language for distributed computer systems
by: Rizk, A.
Published: (1986) -
Debugging concurrent and distributed programs
by: Cooper, Robert Charles Beaumont
Published: (1987) -
The design of a portable translator of systems programming languages
by: McCaig, Joseph Martin
Published: (1980) -
A concurrent visual language based on Petri nets
by: Usher, Michelle M.
Published: (1999)