scientific article; zbMATH DE number 2038771
From MaRDI portal
Publication:4449237
zbMath1039.68557MaRDI QIDQ4449237
Publication date: 8 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27191008.htm
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) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)
Related Items (6)
Deciding probabilistic bisimilarity over infinite-state probabilistic systems ⋮ Quantitative analysis of probabilistic lossy channel systems ⋮ CSL model checking algorithms for QBDs ⋮ Stochastic Games with Lossy Channels ⋮ A note on the attractor-property of infinite-state Markov chains ⋮ Verification of probabilistic systems with faulty communication
This page was built for publication: