About: Probabilistic Bisimulation: Naturally on Distributions

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Probabilistic Bisimulation: Naturally on Distributions Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this paper, we give a natural definition of strong bisimulation for probabilistic systems corresponding to this view that treats probability distributions as first-class citizens. Our definition applies in the same way to discrete systems as well as to systems with uncountable state and action spaces. Several examples demonstrate that our definition re- fines the understanding of behavioural equivalences of probabilistic systems. In particular, it solves a longstanding open problem concerning the representation of memoryless continuous time by memoryfull continuous time. Finally, we give algorithms for computing this bisimulation not only for finite but also for classes of uncountably infinite systems. In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this paper, we give a natural definition of strong bisimulation for probabilistic systems corresponding to this view that treats probability distributions as first-class citizens. Our definition applies in the same way to discrete systems as well as to systems with uncountable state and action spaces. Several examples demonstrate that our definition re- fines the understanding of behavioural equivalences of probabilistic systems. In particular, it solves a longstanding open problem concerning the representation of memoryless continuous time by memoryfull continuous time. Finally, we give algorithms for computing this bisimulation not only for finite but also for classes of uncountably infinite systems. (en)
Title	Probabilistic Bisimulation: Naturally on Distributions Probabilistic Bisimulation: Naturally on Distributions (en)
skos:prefLabel	Probabilistic Bisimulation: Naturally on Distributions Probabilistic Bisimulation: Naturally on Distributions (en)
skos:notation	RIV/00216224:14330/14:00073710!RIV15-MSM-14330___
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GBP202/12/G061), S
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Křetínský, Jan
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	39670
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/14:00073710
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	stochastic systems; probability; bisimulation; non-determinism; process algebra; coalgebra (en)
http://linked.open.../riv/klicoveSlovo	stochastic systems process algebra probability coalgebra bisimulation non-determinism
http://linked.open...ontrolniKodProRIV	[AE76430FA99A]
http://linked.open...v/mistoKonaniAkce	Heidelberg Dordrecht London New York
http://linked.open...i/riv/mistoVydani	Heidelberg Dordrecht London New York
http://linked.open...i/riv/nazevZdroje	CONCUR 2014 - Concurrency Theory - 25th International Conference
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Center of excellence - Institute for theoretical computer science (CE-ITI)
http://linked.open...UplatneniVysledku	2014
http://linked.open...iv/tvurceVysledku	Krčál, Jan Křetínský, Jan Hermanns, Holger
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2014-01-01 (xsd:date)
issn	0302-9743
number of pages	17 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-662-44584-6_18
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	9783662445839
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 36 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software