Remarks on Testing Probabilistic Processes (Q2864156)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Remarks on Testing Probabilistic Processes	scientific article

Statements

scholarly article

Remarks on Testing Probabilistic Processes (English)

zbMATH Open document ID

10.1016/j.entcs.2007.02.013

Robert J. van Glabbeek

Matthew C. B. Hennessy

Electronic Notes in Theoretical Computer Science

publication date

6 December 2013

Mathematics Subject Classification ID

zbMATH DE Number

zbMATH Keywords

probabilistic processes

nondeterminism

CSP

transition systems

testing equivalences

simulation

complete axiomatisations

structural operational semantics

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1016/j.entcs.2007.02.013

A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification

Branching bisimulation for probabilistic systems: characteristics and decidability

A Theory of Communicating Sequential Processes

The Vienna development method: The meta-language

Algebraic theory of probabilistic and nondeterministic processes.

Testing preorders for probabilistic processes

Finite state Markovian decision processes

Testing equivalences for processes

Foundations of Software Science and Computational Structures

Processes, Terms and Cycles: Steps on the Road to Infinity

Random-Access Stored-Program Machines, an Approach to Programming Languages

Branching time and abstraction in bisimulation semantics

Probabilistic models for the guarded command language

Testing preorders for probabilistic processes can be characterized by simulations

The Mechanical Evaluation of Expressions

Probabilistic and prioritized models of timed CSP

Bisimulation through probabilistic testing

Partial correctness for probabilistic demonic programs

Refinement-oriented probability for CSP

Specification-oriented semantics for communicating processes

A structural approach to operational semantics

Probabilistic automata

Testing probabilistic automata

Retracted: Semantic domains for combining probability and non-determinism

Distributing probability over non-determinism

Sitelinks

Mathematics(1 entry)

mardi Publication:2864156

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2864156&oldid=35364052"