Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic-Reference-Cited by-同舟云学术

Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic

Published:2006 Issue: Volume: Page:207-217
ISSN:0302-9743
Container-title:SOFSEM 2006: Theory and Practice of Computer Science
language:
Short-container-title:

Author:

Chen Donghuo,Wu Jinzhao

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11611257_18.pdf

Reference17 articles.

1. Schwanke, R.W., Kaiser, G.E.: Living with Inconsistency in Large Systems. In: Proc. the International Workshop on Software Version and configuration control, pp. 98–118 (1988)

2. Hunter, A., Nuseibeh, B.: Managing Inconsistent Specification: Reasoning, Analysis and Action. ACM Transaction on Software Engineering and Methodology 7, 335–367 (1998)

3. Miarka, R.: Inconsistent and Underdefinedness in Z Specification. Phd thesis, The University of Kent (2002)

4. Lecture Notes in Computer Science;S.H. Valentine,1998

5. Mortensen, C.: Inconsistent Mathematics. Kluwer Academic Publishers Group, Dordrecht (1995)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking;International Journal of Software Engineering and Knowledge Engineering;2022-07

2. Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples;International Journal of Software Engineering and Knowledge Engineering;2022-01

3. Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples;Lecture Notes in Computer Science;2018-12-30

4. Method for Combining Paraconsistency and Probability in Temporal Reasoning;Journal of Advanced Computational Intelligence and Intelligent Informatics;2016-09-20