output
20022009
most citedProbing Cold Dense Nuclear Matter

458 citations

researchers with a paper here
collaborating institutions
Showing cs.DCShow all

1 paper · 1 filter

cs.DC2009★ 1 cited

Ideal Stabilization

Mikhail Nesterenko, Sébastien Tixeuil

We define and explore the concept of ideal stabilization. The program is ideally stabilizing if its every state is legitimate. Ideal stabilization allows the specification designer…