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

R-SHIM: deterministic concurrency with recursion and shared..:

, In: Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.,
Tardieu, O. ; Edwards, S. A. - p. 202 ff. , 2006
Link: https://dl.acm.org/doi/10.1109/MEMCOD.2006.1695931