The tree identify protocol of IEEE 1394 in \(\mu\)CRL
From MaRDI portal
Publication:1125432
DOI10.1007/S001650050030zbMath0951.68532OpenAlexW2032732582MaRDI QIDQ1125432
Carron Shankland, Mark B. van der Zwaag
Publication date: 6 December 1999
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://dspace.stir.ac.uk/bitstream/1893/10699/1/facs98.pdf
Related Items (5)
On the expressiveness of choice quantification ⋮ Focus points and convergent process operators: A proof strategy for protocol verification ⋮ Cones and foci: A mechanical framework for protocol verification ⋮ The parallel composition of uniform processes with data ⋮ The cones and foci proof technique for timed transition systems
This page was built for publication: The tree identify protocol of IEEE 1394 in \(\mu\)CRL
