scientific article; zbMATH DE number 1324656

zbMath0920.68050MaRDI QIDQ4255556

E. P. de Vink, J. J. Den Hartog

Publication date: 17 August 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=22#22006

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

zbMATH Keywords

concurrency model

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (4)

A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Algebraic theory of probabilistic and nondeterministic processes. ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

This page was built for publication: