×

Found 3 Documents (Results 1–3)

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software