scientific article; zbMATH DE number 1231649

zbMath0917.68137MaRDI QIDQ4222974

Gethin Norman, Marta Kwiatkowska

Publication date: 6 January 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=13#13014

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

zbMATH Keywords

communicating sequential processes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Algebraic theory of probabilistic and nondeterministic processes. ⋮ Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice ⋮ A behavioural pseudometric for probabilistic transition systems

This page was built for publication: