×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–3)

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). 254-280 (2010).
MSC:  68Q85 68N19 68N30
BibTeX Cite
WorldCat.org
Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 17-25 (2005).
MSC:  68M10
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software