From rewrite theories to temporal logic theories

Electronic Notes in Theoretical Computer Science

Volumn 15, Issue , 1998, Pages 105-126

  Denker, Grit ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

DISTRIBUTED TEMPORAL LOGIC; EXECUTABLE SPECIFICATIONS; FORMAL VERIFICATIONS; LIVENESS; MAUDE SPECIFICATIONS; OBJECT ORIENTED; OPERATIONAL LEVEL; REWRITE THEORY; REWRITING LOGIC; SYSTEM PROPERTY;

TEMPORAL LOGIC;

EID: 84874264374     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82555-1     Document Type: Conference Paper

References (16)

1. [AH92] R. Alur and T. Henzinger. Logics and Models of Real Time: A Survey. In Real Time: Theory in Practice, Mook, The Netherlands, June 1991, pages 74-106. Springer, 1992. LNCS 600.
2. [CDELM98] M. Clavel, F. Duran, S. Eker, P. Lincoln, and J. Meseguer An Introduction to Maude (Beta Version). Manuscript, SRI International, Computer Science Laboratory, Menlo Park, CA, 1998.
3. [DM98] F. Duran and J. Meseguer. An Extensible Module Algebra For Maude. This volume.
4. [ECSD98] H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 167-198. Kluwer Academic Publishers, 1998.
5. [ESSS94] H.-D. Ehrich, A. Sernadas, G. Saake, and C. Sernadas. Distributed Temporal Logic for Concurrent Object Families. In R. Wieringa and R. Feenstra, editors, Working papers of the International Workshop on Information Systems-Correctness and Reusability, pages 22-30. Vrije Universiteit Amsterdam, Rapport Nr. IR-357, 1994.
6. [KW95] P. Kosiuczenko and M. Wirsing. Timed Rewriting Logic for the Specification of Time-Sensitive Systems. In H. Schwichtenberg, editor, Proc. of the Intern. Summer School on Proof and Computation. Springer, 1995. NATO-ASI Series.
7. [Lec96] U. Lechner. Object-oriented specifications of distributed systems in the //-calculus and maude. In Meseguer [Mes96a], pages 384-403.
8. [Lec97] U. Lechner. Object-Oriented Specification of Distributed Systems. PhD thesis, University of Passau, 1997. Appeared as Technical Report, Fakultat fur Mathematik und Informatik, Universitat Passau, MIP-9717. Available at: www.mcm.unisg.ch/-ulechner.
9. [Mes92] J. Meseguer. Conditional Rewriting Log Unified Model of Concurrency. Theoretical Computer Science, 96(1):73-155, 1992.
10. [Mes93] J. Meseguer. A Logical Theory of Concurrent Objects and Its Realization in the Maude Language. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 314-390. The MIT Press, 1993.
11. [Mes96a] J. Meseguer, editor. Rewriting Logic and Its Applications, First International Workshop, Asilomar Conference Center, Pacific Grove, CA, September 3-6, 1996. Elsevier Science B.V., Electronic Notes in Theoretical Computer Science, Volume 4, http://www.elsevier.nl/locate/entcs/volume4.html, 1996.
12. [Mes96b] J. Meseguer. Rewriting Logic as a Semantic Framework for Concurrency: A Progress Report. In U. Montanari and V. Sassone, editors, Proc. 7th Intern. Conf. on Concurrency Theory: CONCUR'96, Pisa, August 1996, pages 331-372, 1996. LNCS 1119. (Pubitemid 126117771)
13. [MOM94] N. Marti-Oliet and J. Meseguer. General Logics and Logical Frameworks. In D. Gabbay, editor, What is a Logical System?, pages 355-392. Oxford University Press, 1994.
14. [MT98] J. Meseguer and C. Talcott. Partial Order Semantics for Concurrent Objects. Manuscript, SRI International and Stanford University Computer Science Department, April 1998.
15. [OM96] P. Olveczky and J. Meseguer. Specifying Real-Time Systems in Rewriting Logic. In Meseguer [Mes96a], pages 283-308.
16. [WN95] G. Winskel and M. Nielsen. Models for Concurrency. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, Vol. 4-, Semantic Modelling, pages 1-148. Oxford Science Publications, 1995.