Algebraic specification of communication protocols

S. Mauw (Editor), G.J. Veltink (Editor)

Research output: Book/Report › Book editing › Academic

Original languageEnglish
Place of PublicationCambridge
PublisherCambridge University Press
Number of pages197
ISBN (Print)0-521-41883-6
Publication statusPublished - 1993

Publication series

NameCambridge tracts in theoretical computer science
Volume36
ISSN (Print)0956-9103

Cite this