scientific article; zbMATH DE number 1324657

zbMath0920.68066MaRDI QIDQ4255557

Carlos Gregorio Rodríguez, Manuel A. Nunez

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#22007

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

zbMATH Keywords

testing semanticsprobabilistic process algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Algebraic theory of probabilistic and nondeterministic processes. ⋮ Algebraic theory of probabilistic processes. ⋮ Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

This page was built for publication: