×

Found 12 Documents (Results 1–12)

On the semantics of Markov automata. (English) Zbl 1333.68162

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 307-318 (2011).
MSC:  68Q45 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time. (English) Zbl 1279.68250

Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 83-106 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Expressing priorities and external probabilities in process algebra via mixed open/closed systems. (English) Zbl 1277.68166

Amadio, Roberto (ed.) et al., Proceedings of the 14th international workshop on expressiveness in concurrency (EXPRESS 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 2, 31-57 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

YMCA: why Markov chain algebra? (English) Zbl 1316.68088

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 107-112 (2006).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software