Charles Wallace;Guy Tremblay;José N. Amaral
-;-;-
A unified formal specification and analysis of the new java memory models
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice