Maharaj, Savi (ed.); Shankland, Carron (ed.); Rattray, Charles (ed.) Special issue: Algebraic methodology and software technology. Selected papers from the 10th international conference (AMAST 2004), Stirling, UK, July 12–16, 2004. (English) Zbl 1093.68515 Theor. Comput. Sci. 351, No. 2, 129-294 (2006). MSC: 68-06 00B25 PDFBibTeX XML
Rattray, Charles (ed.); Maharaj, Savitri (ed.); Shankland, Carron (ed.) Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. (English) Zbl 1053.68007 Lecture Notes in Computer Science 3116. Berlin: Springer (ISBN 3-540-22381-9/pbk). xi, 569 p. (2004). MSC: 68-06 68N30 00B25 PDFBibTeX XMLCite \textit{C. Rattray} (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12--16, 2004. Proceedings. Berlin: Springer (2004; Zbl 1053.68007) 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 PDFBibTeX XMLCite \textit{S. Maharaj} et al., Formal Asp. Comput. 14, No. 3, 200--214 (2002; Zbl 1029.68018) Full Text: DOI Link
Calder, M.; Maharaj, S.; Shankland, C. A modal logic for full LOTOS based on symbolic transition systems. (English) Zbl 1008.68081 Comput. J. 45, No. 1, 55-61 (2002). MSC: 68Q85 68T15 03B45 PDFBibTeX XMLCite \textit{M. Calder} et al., Comput. J. 45, No. 1, 55--61 (2002; Zbl 1008.68081) Full Text: DOI Link
Calder, Muffy; Maharaj, Savi; Shankland, Carron An adequate logic for full LOTOS. (English) Zbl 0977.68608 Oliveira, José Nuno (ed.) et al., FME 2001: Formal methods for increasing software productivity. International symposium of formal methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2021, 384-395 (2001). MSC: 68U99 68Q65 68Q85 PDFBibTeX XMLCite \textit{M. Calder} et al., Lect. Notes Comput. Sci. 2021, 384--395 (2001; Zbl 0977.68608) Full Text: Link
Maharaj, Savi; Shankland, Carron A survey of formal methods applied to leader election in IEEE 1394. (English) Zbl 0963.68138 J. UCS 6, No. 11, Spec. Iss., 1145-1163 (2000). MSC: 68Q65 PDFBibTeX XMLCite \textit{S. Maharaj} and \textit{C. Shankland}, J. UCS 6, No. 11, 1145--1163 (2000; Zbl 0963.68138) Full Text: Link
Maharaj, Savi Encoding Z-style schemas in type theory. (English) Zbl 1527.68133 Barendregt, Henk (ed.) et al., TYPES ’93. Types for proofs and programs. International workshop, Nijmegen, the Netherlands, May 24–28, 1993. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 806, 238-262 (1994). MSC: 68Q60 03B70 68V15 PDFBibTeX XMLCite \textit{S. Maharaj}, Lect. Notes Comput. Sci. 806, 238--262 (1994; Zbl 1527.68133) Full Text: DOI