Axiomatizing a fragment of PAFAS

MaRDI QIDQ2703738zbMATH OpenFDO

Authors Walter Vogler, L. Jenner

Publication date 8 May 2001

zbMATH Keywords

PAFASprocess algebra

Mathematics Subject Classification ID

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

Recommendations

• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• Measuring the performance of asynchronous systems with PAFAS
• scientific article; zbMATH DE number 7319030
• Model checking PA-processes
• An algebra of concurrent non-deterministic processes

Cited in

(2)

• A general method of axiomatizing fragments
• Bisimulation on speed: Worst-case efficiency

This page was built for publication: Axiomatizing a fragment of PAFAS

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