Verifying parallel programs with resource allocation
暂无分享,去创建一个
[1] C. A. R. Hoare,et al. A Structured Paging System , 1973, Comput. J..
[2] Susan S. Owicki. Verifying Concurrent Programs With Shared Data Classes , 1977, Formal Description of Programming Concepts.
[3] Gregory R. Andrews,et al. Language features for process interaction , 1977 .
[4] Niklaus Wirth,et al. Modula: A language for modular multiprogramming , 1977, Softw. Pract. Exp..
[5] Per Brinch Hansen,et al. The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.
[6] Susan S. Owicki. Specifications and Proofs for Abstract Data Types in Concurrent Programs , 1978, Program Construction.
[7] Abraham Silberschatz,et al. Extending Concurrent Pascal to Allow Dynamic Resource Management , 1977, IEEE Transactions on Software Engineering.