Process algebra extended with price information

zbMATH Open1212.68102MaRDI QIDQ3052609FDOQ3052609

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

Publication date: 5 November 2010

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

zbMATH Keywords

process algebracost modelingprice information

Mathematics Subject Classification ID

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

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)