Context-dependent bisimulation between processes

著者

• Larsen, K. G. (Kim G.)

書誌事項

Context-dependent bisimulation between processes

by Kim Guldstrand Larsen

University of Edinburgh, Department of Computer Science, 1986

タイトル別名

CST-37-86

注記

Includes bibliographical references (p. 257-265)

Author's thesis (Ph.D.)--University of Edinbungh, 1986 (CST-37-86)

詳細情報

• NII書誌ID(NCID): BA28718904
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Edinburgh
• ページ数/冊数: x, 265 p.
• 大きさ: 21 cm