Improving Concurrent Write Scheme in File Server Group -- A Comparative Performance Study of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison of Cluster Operating Systems Implementing Sequential and Transactional Consistency -- Clock Synchronization State Graphs Based on Clock Precision Difference -- A Recursive-Adjustment Co-allocation Schem…