scientific article; zbMATH DE number 1231682
From MaRDI portal
Publication:4223011
zbMath0917.68154MaRDI QIDQ4223011
G. J. Norman, Marta Kwiatkowska
Publication date: 7 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=16&iss=2#16.2.006
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 (8)
Metrics for labelled Markov processes ⋮ Testing probabilistic equivalence through reinforcement learning ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Probabilistic bisimilarity as testing equivalence ⋮ Algebraic theory of probabilistic processes. ⋮ Remarks on Testing Probabilistic Processes ⋮ Probabilistic Barbed Congruence ⋮ Additive models of probabilistic processes
This page was built for publication:
