A Fully Magnetizing Phase Transition
- 期刊名称Journal of Statistical Physics
- 作者Pierluigi Contucci; Peter Kleban; Andreas Knauf
- 卷第97卷
- 印刷ISSN0022-4715
- 电子ISSN1572-9613
- 文件大小134.83KB
- 发表时间1999-11
- DOI10.1023/a:1004607107241
- 页码523-539
同作者推荐
Synthesising Features by GamesDimitar P. Guelev; Mark Ryan; Pierre Yves Schobbens · 2006
Sharpening the Incompleteness of the Duration CalculusDimitar P. Guelev · 2005
A Propositional Dynamic Logic with Qualitative ProbabilitiesDimitar P. Guelev · Journal of Philosophical Logic · 1999
Prefix and Projection onto State in Duration CalculusDimitar P. Guelev; Dang Van Hung · 2002
An application of temporal projection to interleaving concurrencyBen Moszkowski,Dimitar P. Guelev · Formal Aspects of Computing · 2017
Synthesising verified access control systems through model checkingZhang, Nan; Ryan, Mark; Guelev, Dimitar P. · Journal of Computer Security · 2008
An Epistemic Predicate CTL* for Finite Control π-ProcessesDimitar P. Guelev; Mads Dam · 2011