Probabilistic bigraphs

Archibald, B. , Calder, M. and Sevegnani, M. (2022) Probabilistic bigraphs. Formal Aspects of Computing, (doi: 10.1145/3545180) (Early Online Publication)

[img] Text
273661.pdf - Accepted Version

438kB

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 probabilistic 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.

Item Type:Articles
Status:Early Online Publication
Refereed:Yes
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy and Sevegnani, Dr Michele and Archibald, Dr Blair
Authors: Archibald, B., Calder, M., and Sevegnani, M.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Formal Aspects of Computing
Publisher:ACM Press
ISSN:0934-5043
ISSN (Online):1433-299X
Published Online:25 June 2022
Copyright Holders:Copyright © 2022 The Authors
First Published:First published in Formal Aspects of Computing 2022
Publisher Policy:Reproduced in accordance with the publisher copyright policy

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
172422Science of Sensor System Software (SSSS)Muffy CalderEngineering and Physical Sciences Research Council (EPSRC)EP/N007565/1Computing Science