Title :
A formal model for protocol interworking in ISDN
Author :
Lin, Fuchun Joseph ; Liu, Ming T.
Author_Institution :
Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Abstract :
The authors propose a formal model as the the basis to study protocol interworking in ISDN. The interworking of protocols is formally modeled by interactions among networks of communicating finite-state machines (CFSMs). The interactions that may occur in ISDN are then described and defined through two protocol interworking operators: concentration and overlap.<>
Keywords :
ISDN; protocols; ISDN; communicating finite-state machines; concentration; formal model; overlap; protocol interworking; Automata; Contracts; ISDN; Information science; Intelligent networks; Protocols;
Conference_Titel :
Communications, 1988. ICC '88. Digital Technology - Spanning the Universe. Conference Record., IEEE International Conference on
Conference_Location :
Philadelphia, PA, USA
DOI :
10.1109/ICC.1988.13544
