Communicating sequential processes
Communicating sequential processes
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Design and validation of computer protocols
Design and validation of computer protocols
Online minimization of transition systems (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Model checking
Communication and Concurrency
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Integrated system interoperability testing with applications to VoIP
IEEE/ACM Transactions on Networking (TON)
Hi-index | 0.00 |
Heterogeneous network protocol systems are integrated together to fulfill complex tasks and their interoperability is a major hurdle for the network reliability and quality of services. We identify a new equivalence relation of states that preserves the integrated system interface behaviors. Based on this state equivalence we study the minimization of the system components with respect to their interfaces and design an efficient polynomial time minimization algorithm. We apply our technique to GMPLS protocols and obtain a significant state space reduction. We discuss integrated protocol system verification and interoperability testing with the minimized state system without resorting to the global state space information.