Publication:4449237
From MaRDI portal
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68P30: Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science)
Related Items
Stochastic Games with Lossy Channels, CSL model checking algorithms for QBDs, A note on the attractor-property of infinite-state Markov chains, Deciding probabilistic bisimilarity over infinite-state probabilistic systems, Quantitative analysis of probabilistic lossy channel systems, Verification of probabilistic systems with faulty communication