Testing theories for broadcasting processes

MaRDI QIDQ5457681zbMATH OpenFDO

Authors Traian Muntean, Cristian Ene

Publication date 14 April 2008

zbMATH Keywords

broad casting calculimay testingmust testingprocesses calculitests

Mathematics Subject Classification ID

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

Recommendations

• Bisimulations for a calculus of broadcasting systems
• Characterising testing preorders for broadcasting distributed systems
• Remarks on testing probabilistic processes
• Broadcast calculus interpreted in CCS upto bisimulation
• Testing equivalence for mobile processes

Cited in

(5)

• Depletable channels: dynamics, behaviour, and efficiency in network design
• Characterising testing preorders for broadcasting distributed systems
• Broadcast calculus interpreted in CCS upto bisimulation
• General refinement. I: Interfaces, determinism and special refinement
• Contexts, refinement and determinism

This page was built for publication: Testing theories for broadcasting processes

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