%T A Study of Percolation Phenomena in Process Networks
%A Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen
%E Peter H. Welch, Jon Kerridge, Frederick R. M. Barnes
%B Communicating Process Architectures 2006
%X Percolation theory provides models for a wide variety of
natural phenomena. One of these phenomena is the dielectric
breakdown of composite materials. This paper describes how
we implemented the percolation model for dielectric
breakdown in a massively parallel processing environment. To
achieve this we modified the breadth\-first search algorithm
such that it works in probabilistic process networks. Formal
methods were used to reason about this algorithm.
Furthermore, this algorithm provides the basis for a JCSP
implementation which models dielectric breakdowns in
composite materials. The implementation model shows that it
is possible to apply formal methods in probabilistic
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org