Equations for message passing

MaRDI QIDQ5486051zbMATH OpenFDO

Authors Ludwik Czaja

Publication date 6 September 2006

zbMATH Keywords

Petri netsemiring of formal polynomials

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Equations for asynchronous message passing
• The logic of message-passing
• Proof systems for message-passing process algebras
• scientific article; zbMATH DE number 5199143
• scientific article; zbMATH DE number 4018375

Cited in

(7)

• Neighbourhood message passing computation on a lattice with cP systems
• Equations for asynchronous message passing
• Message-passing algorithms for the verification of distributed protocols
• Calculi of net structures and sets are similar
• Learning a propagation complete formula
• The logic of message-passing
• scientific article; zbMATH DE number 2087367 (Why is no real title available?)

This page was built for publication: Equations for message passing

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