Relational semantics for locally nondeterministic programs
Liangwei Xu, Masato Takeichi, Hideya IwasakiVolume:
15
Language:
english
Pages:
23
DOI:
10.1007/bf03037950
Date:
September, 1997
File:
PDF, 917 KB
english, 1997