Protocol description and simulation in the OCCAM programming language

Abstract Various high-level languages are being used to describe communication protocols and their implementations. This paper discusses the various considerations that have led the authors to the selection of Occam for this purpose.