资源共享的形式化技术

Formalization Techmology for Sharing-recource

本文讨论用于资源共享的形式化技术,共享资源的形式化方法,研究共享资源遇到的问题和解决方法.

This paper discusses formalization technology for sharing-resource,introduces formaliz-ing method of sharing-resource,studies some probeems of sharing-resource and provedesproper methodsto solvt them.