The Formal Description of MMS’ Program Invocation of MAP Carrier Band Local Area Network

The Formal Description of MMS’ Program Invocation of MAP Carrier Band Local Area NetworkJ. Journal of Computer Research and Development, 1995, 32(1).

Citation:

The Formal Description of MMS’ Program Invocation of MAP Carrier Band Local Area NetworkJ. Journal of Computer Research and Development, 1995, 32(1).

Citation:

The Formal Description of MMS’ Program Invocation of MAP Carrier Band Local Area NetworkJ. Journal of Computer Research and Development, 1995, 32(1).

Abstract

The formal description of the network protocol is very important for specification, validation and implementation of the protocol.This paper gives a formal description to the program invocation-the key part of Manufacturing Automation Protocol with finite state automaton.

FullText(HTML)

Turn off MathJax

Article Contents

Export File