Sciweavers

9444 search results - page 66 / 1889
» The Language Model LMNtal
Sort
View
ERLANG
2009
ACM
15 years 9 months ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund
ESOP
2007
Springer
15 years 9 months ago
The Java Memory Model: Operationally, Denotationally, Axiomatically
Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...