A Maude specification of an object-oriented database model for telecommunication networks-Reference-Cited by-同舟云学术

A Maude specification of an object-oriented database model for telecommunication networks

Published:1996 Issue: Volume:4 Page:405-423
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Pita Isabel,Martí-Oliet Narciso

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference13 articles.

1. ISO/IEC DIS 10165-1/ITU-TS X.720, Management Information Model 1990

2. Ulrike Lechner, Christian Lengauer, Friederike Nickl, and Martin Wirsing, (Objects + Concurrency) & Reusability - A proposal to circumvent the inheritance anomaly, in: P. Cointe, ed., Proc. ECOOP'96, 10th European Conference on Object-Oriented Programming (LNCS 1098, Springer-Verlag, 1996) 232–247.

3. An object-oriented airport: Specification and refinement in Maude;Lechner,1995

4. Luis López Zueros and Isabel Pita, Disen̈o orientado a objetos aplicado a la gestión integrada de redes, Proc. Telecom I+D Conference (Madrid, 1992) 359–368.

5. Narciso Martí-Oliet and José Meseguer, Rewriting logic as a logical and semantic framework, Technical report SRI-CSL-93-05, Computer Science Laboratory, SRI International (August 1993). To appear in D. M. Gabbay, ed., Handbook of Philosophical Logic (Kluwer Academic Publishers).

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

1. Rewriting logic: roadmap and bibliography;Theoretical Computer Science;2002-08

2. Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed Systems;Formal Methods for Open Object-Based Distributed Systems IV;2000

3. A Partial Order Event Model for Concurrent Objects;CONCUR’99 Concurrency Theory;1999

4. A Logical Framework for Distributed Systems and Communication Protocols;IFIP Advances in Information and Communication Technology;1998