Process algebra extended with price information

MaRDI QIDQ3052609zbMATH OpenFDO

Authors Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Zhidong Qin, Junhua Zhang

Publication date 5 November 2010

zbMATH Keywords

cost modelingprice informationprocess algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Priority in process algebra.
• A timed Petri net extended with price information
• Counting the cost in the picalculus (extended abstract)
• A calculus for costed computations
• Process algebra and model checking

Cited in

(1)

• Counting the cost in the picalculus (extended abstract)

This page was built for publication: Process algebra extended with price information

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