A Thread Algebra with Multi-Level Strategic Interleaving
暂无分享,去创建一个
[1] Jan A. Bergstra,et al. Simulating Turing machines on Maurer machines , 2008, J. Appl. Log..
[2] Sanjit A. Seshia,et al. Modular verification of multithreaded programs , 2005, Theor. Comput. Sci..
[3] Guy L. Steele,et al. The Java Language Specification , 1996 .
[4] Peter H. Golde,et al. C# Language Specification , 2003 .
[5] Jan A. Bergstra,et al. Program algebra for sequential code , 2002, J. Log. Algebraic Methods Program..
[6] Ken Arnold,et al. The Java Programming Language , 1996 .
[7] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..
[8] Jan A. Bergstra,et al. Polarized Process Algebra and Program Equivalence , 2003, ICALP.
[9] Jan A. Bergstra,et al. Polarized process algebra with reactive composition , 2005, Theor. Comput. Sci..
[10] Kees Middelburg. An alternative formulation of operational conservativity with binding terms , 2003, J. Log. Algebraic Methods Program..
[11] Frank S. de Boer,et al. A Compositional Operational Semantics for JavaMT , 2003, Verification: Theory and Practice.
[12] Jan A. Bergstra,et al. A Thread Algebra with Multi-level Strategic Interleaving , 2005, CiE.
[13] Jan A. Bergstra,et al. Thread algebra for strategic interleaving , 2007, Formal Aspects of Computing.