An ASM Model of Concurrency in a Web Browser.

Vincenzo Gervasi

Published in: ABZ (2012)

Keyphrases

web browser
computational model
formal model
probabilistic model
probability distribution
high level
experimental data
natural language
web applications
mathematical model
statistical model
conceptual model
website
energy function