Comparative concurrency semantics and refinement of actions

著者

• Van Glabbeek, Rob J.

書誌事項

Comparative concurrency semantics and refinement of actions

R.J.H. van Glabbeek

（CWI tract, 109）

Centrum voor Wiskunde en Informatica, c1996

注記

Bibliography: p. 273-285

詳細情報

• NII書誌ID(NCID): BA2807810X
• ISBN:
  • 9061964547
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: 285 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA00736229