Protocol specification & verification methods: An overview

Conference proceeding

Michael G. Hinchey and Stephen A. Jarvis

Communications and Networks for the Year Two Thousand: Proceedings of SICON - ICIE '93, Vol.2, pp.581-585

1993

Abstract

Communicating Sequential Processes

Data communication protocols

Protocol specification

Protocol verification

Timed CSP

1 Record Views

Title: Protocol specification & verification methods: An overview
Creators: Michael G. Hinchey - University of Cambridge
Stephen A. Jarvis - Durham University
Publication Details: Communications and Networks for the Year Two Thousand: Proceedings of SICON - ICIE '93, Vol.2, pp.581-585
Number of pages: 5
Publication Date: 1993
Identifiers: 991103782202346; WOS:A1993BC67Z00114
Academic Unit: President & VC's Office (VC01)
Language: English
Resource Type: Conference proceeding