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: concatenation and overlap.
|Number of pages||7|
|State||Published - 1 Dec 1988|