Fidge, Colin; Shankland, Carron But what if I don’t want to wait forever? (English) Zbl 1029.68015 Formal Asp. Comput. 14, No. 3, 281-294 (2002). MSC: 68M12 68Q65 PDF BibTeX XML Cite \textit{C. Fidge} and \textit{C. Shankland}, Formal Asp. Comput. 14, No. 3, 281--294 (2002; Zbl 1029.68015) Full Text: DOI
Maharaj, Savi; Romijn, Judi; Shankland, Carron IEEE 1394 tree identify protocol: Introduction to the case study. (English) Zbl 1029.68018 Formal Asp. Comput. 14, No. 3, 200-214 (2002). MSC: 68M12 PDF BibTeX XML Cite \textit{S. Maharaj} et al., Formal Asp. Comput. 14, No. 3, 200--214 (2002; Zbl 1029.68018) Full Text: DOI