I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Referential opacity in nondeterministic data refinement:

Qian, Xiaolei ; Goldberg, Allen
ACM Letters on Programming Languages and Systems (LOPLAS).  2 (1993)  1-4 - p. 233-241 , 1993
Link: https://dl.acm.org/doi/10.1145/176454.176578