A Maude specification of an object-oriented model for telecommunication networks
From MaRDI portal
Publication:1608922
DOI10.1016/S0304-3975(01)00364-4zbMATH Open1001.68004WikidataQ123905909 ScholiaQ123905909MaRDI QIDQ1608922FDOQ1608922
Authors: Isabel Pita, Narciso Martí-Oliet 
Publication date: 13 August 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 1231552
- A generic object-oriented model for representing computer network topologies
- Object-Oriented Modelling of Military Communications Networks
- scientific article; zbMATH DE number 1631956
- scientific article; zbMATH DE number 1515853
- scientific article; zbMATH DE number 1231551
- A model of the behavior of network objects in distributed computer systems
- Exploiting an Object-Oriented Simulation Tool to Model a PCS Network
reflectionrewriting logicMaudetelecommunication networksstrategy languagebroadband telecommunication networksobject-oriented models
Cites Work
- Towards Maude 2. 0
- Conditional rewriting logic as a unified model of concurrency
- Rewriting logic as a semantic framework for concurrency: a progress report
- Title not available (Why is that?)
- Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (4)
Uses Software
This page was built for publication: A Maude specification of an object-oriented model for telecommunication networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1608922)
