A Maude specification of an object-oriented model for telecommunication networks
- 28 August 2002
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 285 (2), 407-439
- https://doi.org/10.1016/s0304-3975(01)00364-4
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Rewriting Logic as a Logical and Semantic FrameworkPublished by Springer Science and Business Media LLC ,2002
- Towards Maude 2.0Electronic Notes in Theoretical Computer Science, 2000
- Solving the Inheritance Anomaly in Concurrent Object-Oriented ProgrammingPublished by Springer Science and Business Media LLC ,2000
- The Maude SystemLecture Notes in Computer Science, 1999
- Controlling Rewriting by RewritingElectronic Notes in Theoretical Computer Science, 1996
- Principles of MaudeElectronic Notes in Theoretical Computer Science, 1996
- Rewriting logic as a semantic framework for concurrency: a progress reportLecture Notes in Computer Science, 1996
- (Objects + concurrency) & reusability — A proposal to circumvent the inheritance anomalyPublished by Springer Science and Business Media LLC ,1996
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992