Focus points and convergent process operators

MaRDI QIDQ5754517zbMATH OpenFDO

Authors Jan Friso Groote, J. Springintveld

Publication date 22 August 2007

zbMATH Keywords

communication protocols

Mathematics Subject Classification ID

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

Recommendations

• Focus points and convergent process operators: A proof strategy for protocol verification
• scientific article; zbMATH DE number 3963182
• Cones and foci: A mechanical framework for protocol verification
• scientific article; zbMATH DE number 3958712
• scientific article; zbMATH DE number 1412988

Cited in

(4)

• Example verifications using alphabet axioms
• Focus points and convergent process operators: A proof strategy for protocol verification
• Network algebra for asynchronous dataflow^∗
• The parallel composition of uniform processes with data

This page was built for publication: Focus points and convergent process operators

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