Communicating sequential processes
Communicating sequential processes
Communication and concurrency
An Application Gateway Design for OSI-Internet Management
Proceedings of the IFIP TC6/WG6.6 Third International Symposium on Integrated Network Management with participation of the IEEE Communications Society CNOM and with support from the Institute for Educational Services
Automating the OSI to Internet Management Conversion Through the Use of an Object-Oriented Platform
Proceedings of the IFIP TC6/WG6.4 International Conference on Advanced Information Processing Techniques for LAN and MAN Management
| Hi-index | 0.00 |
A high-level approach in network management ispresented in this paper. The approach is based on a newnetwork management model, named the K-model, and anetwork management specification language, named K30.This research has identified and defined two basic unitsof management behavior, from which complex behavior ofmanagement systems can be composed using the concepts ofwell-regarded theories of concurrent systems. Thisapproach formalizes network management semantics andalgorithms, and provides a system of formalspecification for network management.