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

DOI10.1016/S0304-3975(01)00364-4zbMath1001.68004WikidataQ123905909 ScholiaQ123905909MaRDI QIDQ1608922

Isabel Pita, Narciso Martí-Oliet

Publication date: 13 August 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

reflectiontelecommunication networksrewriting logicMaudestrategy languagebroadband telecommunication networksobject-oriented models

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Grammars and rewriting systems (68Q42)

Related Items (1)

Rewriting logic: Roadmap and bibliography

Uses Software

• Maude

Cites Work

• Conditional rewriting logic as a unified model of concurrency
• Rewriting logic as a semantic framework for concurrency: a progress report
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Maude specification of an object-oriented model for telecommunication networks