scientific article
From MaRDI portal
Publication:3519383
zbMath1156.68020MaRDI QIDQ3519383
Roberto Segala, Frits W. Vaandrager, Nancy A. Lynch
Publication date: 14 August 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (16)
Testing Finitary Probabilistic Processes ⋮ A basic compositional model for spiking neural networks ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Probabilistic may/must testing: retaining probabilities by restricted schedulers ⋮ Combining shared-coin algorithms ⋮ The compositional construction of Markov processes II ⋮ Task-structured probabilistic I/O automata ⋮ Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states ⋮ Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ The quest for minimal quotients for probabilistic and Markov automata ⋮ Analyzing security protocols using time-bounded task-PIOAs ⋮ Branching bisimulation congruence for probabilistic systems ⋮ Raiders of the lost equivalence: probabilistic branching bisimilarity ⋮ Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Uses Software
This page was built for publication:
