SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 285, Issue 2, 2002, Pages 407-439

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

(2) Pita, Isabel a Martí Oliet, Narciso a

a UNIVERSIDAD COMPLUTENSE DE MADRID (Spain)

Author keywords

Maude; Object oriented models; Reflection; Rewriting logic; Strategy language; Telecommunication networks

Indexed keywords

BROADBAND NETWORKS; COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

OBJECT-ORIENTED MODELS; OBJECT-ORIENTED SEMANTICS;

COMPUTER SCIENCE;

EID: 0037190143 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00364-4 Document Type: Article

Times cited : (5)

References (23)

1
- 19144371372
- Controlling rewriting by rewriting
- J. Meseguer (Ed.), Proc. Ist Internat. Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September 3-6, Elsevier, Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4 , pp. 3-6
- Borovanský, P.¹ Kirchner, C.² Kirchner, H.³

2
- 0004134095
- Reflection in rewriting logic: Metalogical foundations and metaprogramming applications
- CSLI Publications Stanford, CA
- (2000) CSLI Lecture Notes
- Clavel, M.¹

3
- 84874266260
- Metalevel computation in Maude
- C. Kirchner, H. Kirchner (Eds.), Proc. 2nd Internat. Workshop on Rewriting Logic and its Applications, WRLA'98, Pont-à-Mousson, France, September 1-4, Elsevier, Amsterdam
- (1998) Electronic Notes in Theoretical Computer Science , vol.15 , pp. 3-24
- Clavel, M.¹ Durán, F.² Eker, S.³ Lincoln, P.⁴ Martí-Oliet, N.⁵ Meseguer, J.⁶

4
- 0003895448
- Maude: Specification and programming in rewriting logic
- SRI International. January
- (1999) Manual distributed as documentation of the Maude system
- Clavel, M.¹ Durán, F.² Eker, S.³ Lincoln, P.⁴ Martí-Oliet, N.⁵ Meseguer, J.⁶ Quesada, J.F.⁷

5
- 18944399781
- Towards Maude 2.0
- K. Futatsugi (Ed.), Proc. 3rd Internat. Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18-20, Elsevier, Amsterdam
- (2000) Electronic Notes in Theoretical Computer Science , vol.36 , pp. 297-318
- Clavel, M.¹ Durán, F.² Eker, S.³ Lincoln, P.⁴ Martí-Oliet, N.⁵ Meseguer, J.⁶ Quesada, J.F.⁷

6
- 19144364639
- Principles of Maude
- J. Meseguer (Ed.), Proc. Ist Internat. Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September 3-6, Elsevier, Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4 , pp. 3-6
- Clavel, M.¹ Eker, S.² Lincoln, P.³ Meseguer, J.⁴

7
- 0002792268
- Axiomatizing reflective logics and languages
- G. Kiczales (Ed.), San Francisco, California, April
- (1996) Proc. Reflection'96 , pp. 263-288
- Clavel, M.¹ Meseguer, J.²

8
- 84874264374
- From rewrite theories to temporal logic theories
- C. Kirchner, H. Kirchner (Ed.), Proc. 2nd Internat. Workshop on Rewriting Logic and its Applications, WRLA'98, Pont-à-Mousson, France, September 1-4, Elsevier, Amsterdam
- (1998) Electronic Notes in Theoretical Computer Science , vol.15 , pp. 273-294
- Denker, G.¹

9
- 84961707449
- Formal specification and analysis of active networks and communication protocols: The Maude experience
- D. Maughan, G. Koob, S. Saydjari (Eds.), DISCEX , Hilton Head Island, South Carolina, January 25-27, IEEE Computer Society Press, Silver Spring, MD, 2000
- (2000) Proc. DARPA Information Survivability Conference and Exposition , pp. 251-265
- Denker, G.¹ Meseguer, J.² Talcott, C.L.³

10
- 84947265907
- Towards a verification logic for rewriting logic
- D. Bert, C. Choppy, P. Mosses (Eds.), 14th Internat. Workshop, WADT'99, Selected Papers, Lecture Notes in Computer Science, Chateau de Bonas, France, September 15-18, Springer, Berlin
- (1999) Recent Trends in Algebraic Development Techniques , vol.1827 , pp. 438-458
- Fiadeiro, J.L.¹ Maibaum, T.² Martí-Oliet, N.³ Meseguer, J.⁴ Pita, I.⁵

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

12
- 84955616634
- Objects + concurrency & reusability - A proposal to circumvent the inheritance anomaly
- P. Cointe (Ed.), 10th European Conference, Proceedings, Lecture Notes in Computer Science, Linz, Austria, July 8-12, Springer, Berlin
- (1996) ECOOP'96 - Object-Oriented Programming , vol.1098 , pp. 232-247
- Lechner, U.¹ Lengauer, C.² Nickl, F.³ Wirsing, M.⁴

13
- 0009937449
- Diseño orientado a objetos aplicado a la gestión integrada de redes
- Madrid
- (1992) Proc. Telecom I+D Conference , pp. 359-368
- López Zueros, L.¹ Pita, I.²

14
- 0003712384
- Rewriting logic as a logical and semantic framework
- SRI International, August. To appear in D. Gabbay (Ed.), Handbook of Philosophical Logic, 2nd Edition, Kluwer Academic Publishers, Dordrecht
- (1993) Technical Report SRI-CSL-93-05 , vol.9
- Martí-Oliet, N.¹ Meseguer, J.²

15
- 0003616116
- Rewriting as a unified model of concurrency
- SRI International, Computer Science Laboratory, February, Revised June 1990. Appendices on functorial semantics have not been published elsewhere
- (1990) Technical Report SRI-CSL-90-02R
- Meseguer, J.¹

16
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoret. Comput. Sci. , vol.96 , Issue.1 , pp. 73-155
- Meseguer, J.¹

17
- 0002893365
- A logical theory of concurrent objects and its realization in the Maude language
- G. Agha, P. Wegner, A. Yonezawa(Eds.), The MIT Press Cambridge, MA
- (1993) Research Directions in Concurrent Object-Oriented Programming , pp. 314-390
- Meseguer, J.¹

18
- 85027492114
- Solving the inheritance anomaly in concurrent object-oriented programming
- O.M. Nierstrasz (Ed.), Kaiserslautern, Germany, July 26-30, Springer, Berlin
- (1993) ECOOP'93 - Object-Oriented Programming, 7th European Conference, Proceedings, Lecture Notes in Computer Science , vol.707 , pp. 220-246
- Meseguer, J.¹

19
- 84955586238
- Rewriting logic as a semantic framework for concurrency: A progress report
- in: U. Montanari, V. Sassone (Eds.), Pisa, Italy, August 26-29, Springer, Berlin
- (1996) CONCUR'96: Concurrency Theory, 7th International Conference, Proceedings, Lecture Notes in Computer Science , vol.1119 , pp. 331-372
- Meseguer, J.¹

20
- 84868273869
- Rewriting logic and Maude: A wide-spectrum semantic framework for object-based distributed systems
- S.F. Smith, C.L. Talcott(Eds.), Kluwer Academic Publishers Dordrecht, FMOODS 2000, September 6-8, Stanford, California, USA
- (2000) Proc. IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems IV , pp. 89-117
- Meseguer, J.¹

21
- 0003747967
- Ph.D. Thesis, University of Bergen, Norway
- (2000) Specification and analysis of real-time and hybrid systems in rewriting logic
- Ölveczky, P.C.¹

22
- 0001532102
- A Maude specification of an object oriented database model for telecommunication networks
- J. Meseguer (Ed.), Proc. Ist Internat. Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September 3-6, Elsevier, Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4 , pp. 404-422
- Pita, I.¹ Martí-Oliet, N.²

23
- 0003916725
- Using reflection to specify transaction sequences in rewriting logic
- J.L. Fiadeiro (Ed.), 13th International Workshop, WADT'98, Selected Papers, Lecture Notes in Computer Science, Lisbon, Portugal, April 2-4, Springer, Berlin
- (1998) Recent Trends in Algebraic Development Techniques , vol.1589 , pp. 261-276
- Pita, I.¹ Martí-Oliet, N.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.