×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 155-176 (2010).
MSC:  68Q85 68M14 68N30
PDF BibTeX XML Cite
Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 521-536 (2004).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Kirchner, Hélène (ed.) et al., Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002. Prodeedings. Berlin: Springer (ISBN 3-540-44144-1/pbk). Lecture Notes in Computer Science 2422, 223-238 (2002).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 147-162 (2002).
MSC:  68Q85
PDF BibTeX XML Cite

Filter Results by …

Year of Publication
Classification
Software