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"

内容説明・目次

内容説明

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.

目次

• List of contributors
• Preface
• Introduction
• 1. Submodel Preservation Theorems in Finite Variable Fragments H. Andreka, J. van Benthem, and I. Nemeti
• 2. Process Algebra with Feedback J. C. M. Baeten, J. A. Bergstra, and Gh. Stefanescu
• 3. Frame-Based Process Logics J. A. Bergstra and A. Ponse
• 4. Re-interpreting the Modal m-Calculus Marcello M. Bonsangue and Marta Z. Kwiatkowska
• 5. Bisimulation of Context-Free Grammars and of Pushdown Automata Didier Caucal
• 6. Saturation and the Hennessy-Milner Property Robert Goldblatt
• 7. A Modal Logic for mCRL J. F. Groote and S. F. M. van Vlijmen
• 8. Deciding Equivalences in Simple Process Algebras Yoram Hirshfeld and Faron Moller
• 9. Expressive Completeness of Until and Since over Dedekind
• 10. Hennessy-Milner Classes and Process Algebra Marco Hollenberg
• 11. A Lindstrom Theorem for Modal Logic
• 12. A Calculus of Transition Systems (towards Universal Coalgebra) J. J. M. M. Rutten
• 13. On the Parallel Complexity of Bisimulation and Model Checking Scott A. Smolka, Oleg Sokolsky and Shipei Zhang
• 14. NNIL, a Study in Intuitionistic Propositional Logic Albert Visser, Johan van Benthem, Dick de Jongh and Gerard R. Renardel de Lavalette
• Appendix A: IPC as a Fragment of Predicate Logic
• Appendix B:Zigzag-simulations
• B.1 Extended Numbers
• B.2 Basics of Zigzag-simulations
• B.3 Preorders based on Zigzag-simulations
• B.4 Main Results
• References
• Author Index.

「Nielsen BookData」 より

詳細情報

• 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