Testing processes for efficiency

DOI10.1007/3-540-62034-6_41MaRDI QIDQ6567760zbMATH OpenFDO

Authors K. C. Jain, S. Arun-Kumar

Publication date 5 July 2024

Full work available at URL https://doi.org/10.1007/3-540-62034-6_41

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1759619
• On efficiency preorders
• Concurrent testing of processes
• An efficiency preorder for processes
• Testing preorders for probabilistic processes.

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• An efficiency preorder for processes
• Testing equivalences for processes

This page was built for publication: Testing processes for efficiency

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