Modal logic and process algebra : a bisimulation perspective

著者

• Ponse, A. (Alban)
• Rijke, Maarten de
• Venema, Yde

書誌事項

Modal logic and process algebra : a bisimulation perspective

edited by Alban Ponse, Maarten de Rijke & Yde Venema

（CSLI lecture notes, no. 53）

Center for the Study of Language and Information, c1995

• : pbk

注記

Papers presented at a workshop called "Three days of Bisimulation", which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam

Includes bibliographical references and author index

"CSLI publications"

詳細情報

• NII書誌ID(NCID): BA27684523
• ISBN:
  • 188152695X
  • 1881526968
• LCCN: 95032985
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, Calif.
• ページ数/冊数: xix, 327 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA267.3
  • DC20 : 005.13/1
• 件名:
  • LCSH : Formal languages -- Congresses
  • LCSH : Modality (Logic) -- Congresses
  • LCSH : Parallel processing (Electronic computers) -- Congresses
• 親書誌ID:
  • BA0037651X