Logics for Specifying Concurrent Information Systems-Reference-Cited by-同舟云学术

Logics for Specifying Concurrent Information Systems

Published:1998 Issue: Volume: Page:167-198
ISSN:
Container-title:Logics for Databases and Information Systems
language:
Short-container-title:

Author:

Ehrich Hans-Dieter,Caleiro Carlos,Sernadas Amilcar,Denker Grit

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4615-5643-5_6.pdf

Reference90 articles.

1. M. Aiguier and G. Bernot. Algebraic Specification of Object Type Specifications. In R. Wieringa and R. Feenstra, editors, Information Systems—Correctness and Reusability, Selected Papers from the ISCORE Workshop—94, pp. 16–32, 1995.

2. A. Alencar and J. Goguen. OOZE: An object-oriented Z environment. In P. America, editor, Proc. EC00P′91, pp. 180–199. Springer, Berlin, 1991.

3. S. Abramsky, D. Gabbay, and T. Maibaum. Handbook of Logic in Computer Science, Vols. 1-6. Clarendon Press, Oxford, 1992.

4. M. Ben-Ari, Z. Manna, and A. Pnueli. The temporal logic of branching time. 8th ACM Symposium on Principles of Programming Languages, Williamsburg, VA, pp. 164–176, 1981. Also, Acta Informatica, 20 (3):207-226, 1983.

5. J. Bergstra and J. Klop. Process algebra for synchronous communication. Information and Control, 60(1-3):109–137, 1984.

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

1. Model checking distributed temporal logic;Logic Journal of the IGPL;2024-05-16

2. Bounded model checking distributed temporal logic;Journal of Logic and Computation;2022-06-27

3. Generalization of some properties of relations in the context of functional temporal×modal logic;International Journal of Computer Mathematics;2008-04

4. Modelling concurrent interactions;Theoretical Computer Science;2006-02

5. MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies;Advances in Artificial Intelligence - IBERAMIA-SBIA 2006;2006