scientific article; zbMATH DE number 1497863

MaRDI QIDQ4499294zbMATH OpenFDO

Authors Paul H. B. Gardiner

Publication date 5 March 2001

zbMATH Keywords

denotational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Power simulation and its relation to traces and failures refinement
• Communicating Sequential Processes. The First 25 Years
• Trace, failure and testing equivalences for communicating processes
• Process simulation and refinement
• Communicating Sequential Processes. The First 25 Years

Cited in

(3)

• Power simulation and its relation to traces and failures refinement
• Calculation of Instantaneous Power and Energy Quantities in TLM Simulations
• Communicating Sequential Processes. The First 25 Years

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 Q4499294)