• Verification of Causality Requ...

*Result*: Verification of Causality Requirements in Java Memory Model Is Undecidable

Title:
Verification of Causality Requirements in Java Memory Model Is Undecidable
Parallel processing and applied mathematics
Authors:
Botincan, M., Glavan, P., Runje, D.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (6068):62-67
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN076676184&indx=1&recIds=ETOCCN076676184
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings