Actor-like cP systems

DOI10.1007/978-3-030-12797-8_12MaRDI QIDQ2328326zbMATH OpenOpenAlexFDO

Authors Alec Henderson, Radu Nicolescu

Publication date 10 October 2019

Full work available at URL https://doi.org/10.1007/978-3-030-12797-8_12

zbMATH Keywords

distributed algorithmsmembrane computingP systemsByzantine agreementsynchronous modelactor modelcP systemsEIG treesinter-cell parallelismintra-cell parallelismprolog terms and unification

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Revising the membrane computing model for Byzantine agreement
• An introduction to cP systems
• P systems and the Byzantine agreement
• A faster P solution for the Byzantine agreement problem
• Actor grammars

Cited in

(9)

• Simulation challenges in membrane computing
• Search-based testing in membrane computing
• Neighbourhood message passing computation on a lattice with cP systems
• P systems and the Byzantine agreement
• An introduction to cP systems
• Solving a PSPACE-complete problem with cP systems
• Revising the membrane computing model for Byzantine agreement
• Formal verification of cP systems using PAT3 and ProB
• scientific article; zbMATH DE number 897898 (Why is no real title available?)

This page was built for publication: Actor-like cP systems

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