![](/img/cover-not-exists.png)
[IEEE 2006 International Conference on Advanced Computing and Communications - Mangalore, India (2006.12.20-2006.12.23)] 2006 International Conference on Advanced Computing and Communications - Semantics for a Distributed Programming Language Using SACS and Weakest Pre-Conditions
Rajan, A.V.S., Bavan, S., Abeysinghe, G.Year:
2006
Language:
english
DOI:
10.1109/ADCOM.2006.4289931
File:
PDF, 400 KB
english, 2006