Formal deadlock elimination in an object oriented conceptual schema

著录项

• 来源
  《Data & Knowledge Engineering》 |1995年第1期|p.1-30|共30页
• 作者

  G. Dedene; M. Snoeck;

  展开▼
• 作者单位

  Katholieke Universiteit Leuven, Dept. of Applied Economic Sciences, Naamsestraat 69, 3000 Leuven, Belgium;

  展开▼
• 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
• 原文格式 PDF
• 正文语种 eng
• 中图分类 计算技术、计算机技术;
• 关键词

  object oriented modeling methods; process algebra; deadlock elimination; formal specifications;

  机译：面向对象的建模方法;过程代数;死锁消除;形式规格;