首页> 美国政府科技报告 >Still Another Tool for Synchronizing Cooperating Processes
【24h】

Still Another Tool for Synchronizing Cooperating Processes

机译:用于同步协作进程的又一工具

获取原文

摘要

The paper outlines a synchronizing tool which, for some applications, is more convenient than the usual semaphore to obtain transparent programs and easy correctness proofs. The expressive power and the implementation of this new semaphore are briefly discussed. (Author)

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号