scientific article; zbMATH DE number 1231591

zbMath0911.68087MaRDI QIDQ4222911

Marta Kwiatkowska, Christel Baier

Publication date: 21 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#baierkwiatkowska

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semantic model

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Related Items (9)

Bisimulation for probabilistic transition systems: A coalgebraic approach ⋮ Deciding bisimilarity and similarity for probabilistic processes. ⋮ Causal Unfoldings ⋮ Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice ⋮ An introduction to metric semantics: Operational and denotational models for programming and specification languages ⋮ Bisimulation for labelled Markov processes ⋮ Measure and probability for concurrency theorists ⋮ On the verification of qualitative properties of probabilistic processes under fairness constraints. ⋮ Additive models of probabilistic processes

This page was built for publication: