scientific article
From MaRDI portal
Publication:2843720
zbMath1270.68186MaRDI QIDQ2843720
Ana Sokolova, E. P. de Vink, Falk Bartels
Publication date: 23 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806327
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
Unnamed Item, A finite model construction for coalgebraic modal logic, Measurable stochastics for Brane calculus, Modular construction of complete coalgebraic logics, From generic partition refinement to weighted tree automata minimization, Expressivity of coalgebraic modal logic: the limits and beyond, The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata, A hierarchy of probabilistic system types, A compositional approach to defining logics for coalgebras, Stone coalgebras, A modular approach to defining and characterising notions of simulation, Final coalgebras for functors on measurable spaces, Efficient Coalgebraic Partition Refinement, Structural operational semantics for continuous state stochastic transition systems, Probabilistic π-Calculus and Event Structures