Manuali, C.; Laganà, A.; Rampino, S. GriF: a Grid framework for a web service approach to reactive scattering. (English) Zbl 1219.81236 Comput. Phys. Commun. 181, No. 7, 1179-1185 (2010). MSC: 81U35 81T80 81-08 00A69 00A71 PDFBibTeX XMLCite \textit{C. Manuali} et al., Comput. Phys. Commun. 181, No. 7, 1179--1185 (2010; Zbl 1219.81236) Full Text: DOI
Heras, Jónathan; Pascual, Vico; Rubio, Julio Mediated access to symbolic computation systems. (English) Zbl 1166.68376 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 446-461 (2008). MSC: 68W30 PDFBibTeX XMLCite \textit{J. Heras} et al., Lect. Notes Comput. Sci. 5144, 446--461 (2008; Zbl 1166.68376) Full Text: DOI
Gönczy, László; Kovács, Máté; Varró, Dániel Modeling and verification of reliable messaging by graph transformation systems. (English) Zbl 1278.68173 Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 4, 37-50 (2007). MSC: 68Q60 68Q42 68R10 PDFBibTeX XMLCite \textit{L. Gönczy} et al., Electron. Notes Theor. Comput. Sci. 175, No. 4, 37--50 (2007; Zbl 1278.68173) Full Text: DOI