[cap-talk] Virtualizability vs. Synergy

[Norman Hardy]

I wrote some short notes on Virtualizability vs. Synergy at <http:// 
cap-lore.com/CapTheory/Patterns/CapParam.html>.
My description of virtualizability in Keykos is still scanty.

It is part of the issue of whether platforms should provide "Eq?".
Dean Tribble has stories about how to solve without  synergy, some of  
the problems that Keykos solves with synergy,
I cannot recall the details.