论文信息 - Modeling Concurrency in Rule-Based Development - 字舞流文

Modeling Concurrency in Rule-Based Development

Gail E. Kaiser | N. S. Barghouti

[1] H. P Nii,et al. Blackboard Systems , 1986 .

[2] Hector Garcia-Molina,et al. Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[3] Won Kim,et al. Object-Oriented Concepts, Databases, and Applications , 1989 .

[4] Gail E. Kaiser,et al. Intelligent assistance for software development and maintenance , 1988, IEEE Software.

[5] Gail E. Kaiser,et al. Database support for knowledge-based engineering environments , 1988, IEEE Expert.

[6] E. B. Moss,et al. Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[7] Gail E. Kaiser,et al. Preliminary experience with process modeling in the MARVEL software development environment kernel , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[8] Nancy A. Lynch,et al. Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.