Paper Details

%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
   processing environments.

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.