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

(8)

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

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)