×

Found 6 Documents (Results 1–6)

Dynamic consistency in process algebra: from paradigm to ACP. (English) Zbl 1347.68216

Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 3-20 (2009).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

On compositionality, efficiency, and applicability of abstraction in probabilistic systems. (English) Zbl 1206.68207

Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 67-78 (2009).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software