scientific article; zbMATH DE number 7333244
From MaRDI portal
Publication:5858729
zbMath1458.68129arXiv1207.0874MaRDI QIDQ5858729
Publication date: 14 April 2021
Full work available at URL: https://arxiv.org/abs/1207.0874
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (4)
Proportional lumpability and proportional bisimilarity ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
This page was built for publication:
