A formal model for protocol interworking in ISDN

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.<
>