Search alternatives:
"language constructs" » "language contact"

1
by Alford, M.W., Ansart, J.P., Hommel, G., Lamport, L.
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... -- Formal foundation for specification and verification -- Language constructs for distributed programs...