scientific article; zbMATH DE number 1497863

zbMATH Open0966.68109MaRDI QIDQ4499294FDOQ4499294

Authors: Paul H. B. Gardiner 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

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

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)