document.getElementById('index-articles-list').innerHTML = `
  • Constructing checking sequences for distributed testing
    构建分布式测试的检查序列

    Hasan Ural; Craig Williams

    Formal aspects of computing. 2006;18(1):84-101. DOI:10.1007/s00165-005-0083-8
  • Quantified abstract configurations of distributed systems

    Albert, Elvira; Correas, Jesús; Puebla et al.

    Formal Aspects of Computing. 2015;27(4):665-699. DOI:10.1007/s00165-014-0321-z
  • Formal probabilistic analysis of detection properties in wireless sensor networks

    Elleuch, Maissa; Hasan, Osman; Tahar et al.

    Formal Aspects of Computing. 2015;27(1):79-102. DOI:10.1007/s00165-014-0304-0
  • The stream-based service-centred calculus: a foundation for service-oriented programming

    Luís Cruz-Filipe,Ivan Lanese,Francisco Martins…

    Formal Aspects of Computing. 2014;26(5):865-918. DOI:10.1007/s00165-013-0284-5
  • Władysław Marek Turski (1938–2013)

    Andrzej Tarlecki

    Formal Aspects of Computing. 2014;26(5):863-864. DOI:10.1007/s00165-014-0312-0
    • `; document.getElementById('index-articles-more').href = `https://i.iikx.com/journal/1433-299X.html`; document.getElementById('index-articles-more').innerHTML='更多内容'; document.getElementById('index-articles-more').style="float:right;background:var(--primary-color);color:#fff;font-size:13px;border-radius:5px;padding:0px 10px;margin-right:5px;line-height:1.7"; document.getElementsByClassName('index-artcles')[0].style.display = 'block'; document.getElementById('showJournalIndexUrl').style.display = 'block'; document.querySelector('#showJournalIndexUrl a').href = `https://i.iikx.com/journal/1433-299X.html`;