scientific article; zbMATH DE number 1231649

MaRDI QIDQ4222974zbMATH OpenFDO

Authors Marta Kwiatkowska, Gethin Norman

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

zbMATH Keywords

communicating sequential processes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Domain equations for probabilistic processes
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• scientific article; zbMATH DE number 1231591
• A model of probabilistic processes
• Probabilistic communicating processes

Cited in

(9)

• Algebraic theory of probabilistic and nondeterministic processes.
• A behavioural pseudometric for probabilistic transition systems
• Domain equations for probabilistic processes
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• scientific article; zbMATH DE number 1231591 (Why is no real title available?)
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• Mathematical Foundations of Computer Science 2003
• A model of probabilistic processes
• Probabilistic communicating processes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222974)