dc.contributor.author |
Dinneen, Michael |
en |
dc.contributor.author |
Kim, Yun-Bum |
en |
dc.contributor.author |
Nicolescu, Radu |
en |
dc.date.accessioned |
2012-06-26T01:51:26Z |
en |
dc.date.issued |
2010 |
en |
dc.identifier.citation |
Journal of Logic and Algebraic Programming 79(6):334-349 2010 |
en |
dc.identifier.issn |
1567-8326 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/19148 |
en |
dc.description.abstract |
We first propose a modular framework for recursive composition of P systems. This modular approach provides encapsulation and information hiding, facilitating the design of P programs for complex algorithms. Using this framework, we developed a P program that solves the classical version of the Byzantine agreement problem, for N participants connected in a complete graph, according to the well known Byzantine agreement algorithm based on EIG trees. We prove the correctness of this modular composition and conclude with a list of open problems. |
en |
dc.publisher |
Elsevier Inc. |
en |
dc.relation.ispartofseries |
Journal of Logic and Algebraic Programming |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. Details obtained from http://www.sherpa.ac.uk/romeo/issn/1567-8326/ |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.title |
P Systems and the Byzantine Agreement |
en |
dc.type |
Journal Article |
en |
dc.identifier.doi |
10.1016/j.jlap.2010.03.004 |
en |
pubs.issue |
6 |
en |
pubs.begin-page |
334 |
en |
pubs.volume |
79 |
en |
dc.rights.holder |
Copyright: Elsevier Inc. |
en |
pubs.end-page |
349 |
en |
pubs.publication-status |
Published |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/RestrictedAccess |
en |
pubs.subtype |
Article |
en |
pubs.elements-id |
120153 |
en |
pubs.org-id |
Science |
en |
pubs.org-id |
School of Computer Science |
en |
pubs.record-created-at-source-date |
2010-11-18 |
en |