scientific article
From MaRDI portal
Publication:2848414
zbMath1272.68041MaRDI QIDQ2848414
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002367
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)
Related Items (3)
Confluence Reduction for Probabilistic Systems ⋮ Confluence reduction for Markov automata ⋮ A linear process-algebraic format with data for probabilistic automata
Uses Software
This page was built for publication:
