Work

Protocol engineering (panel session)

Year: 1991

Type: conference-abstract

Abstract: A computer communication protocol, or simply protocol, is a set of rules governing the interaction between the peer communicating entities that reside at different nodes in a computer network.The domain of protocol engineering includes specification, validation and verification, synthesis, conversion and adaptation, implementation, performance analysis, and conformance testing.In this panel, we will review research results obtained in the past and discuss future trends in protocol engineering.

Source: ACM Annual Conference on Computer Science (CSC)

DOI: 10.1145/327164.328868

Authors: Mohamed G. Gouda, Raymond E. Miller, Krishan K. Sabnani

Institutions: The University of Texas at Austin, University of Maryland, College Park, AT&T (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2042885168

Cites:

Cited by:

Related to: 10