We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Probablistic Bigraphs

Abstract: Bigraphs are a universal computational modelling formalism for the spatial and temporal evolution of a system in which entities can be added and removed. We extend bigraphs to probablistic bigraphs, and then again to action bigraphs, which include non-determinism and rewards. The extensions are implemented in the BigraphER toolkit and illustrated through examples of virus spread in computer networks and data harvesting in wireless sensor systems. BigraphER also supports the existing stochastic bigraphs extension of Krivine et al., and using BigraphER we give, for the first time, a direct implementation of the membrane budding model used to motivate stochastic bigraphs.
Comments: 20 pages, 15 figures
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:2105.02559 [cs.LO]
  (or arXiv:2105.02559v1 [cs.LO] for this version)

Submission history

From: Blair Archibald [view email]
[v1] Thu, 6 May 2021 10:13:41 GMT (52kb)

Link back to: arXiv, form interface, contact.