An ASM Specification of C# Threads and the .NET Memory Model.

Robert F. Stärk Egon Börger

Published in: Abstract State Machines (2004)

Keyphrases

probabilistic model
experimental data
similarity measure
cost function
mathematical model
conceptual model
formal model
specification language
state machine
database
high level
objective function
computational model
shape model
formal specification