Abstract Machine Models (via vulcan) — discussion

#plt