Towards a bigraphical encoding of actors

Sevegnani, M. and Pereira, E. (2014) Towards a bigraphical encoding of actors. In: MeMo2014: 1st International Workshop on Meta Models for Process Languages, Berlin, Germany, 6 June 2014, (Unpublished)

94772.pdf - Accepted Version


Publisher's URL:


Actors are self-contained, concurrently interacting entities of a computing system. They can perform local computations, communicate via asynchronous message passing with other actors and can be dynamically created. Bigraphs are a fully graphical process algebraic formalism, capable of representing both the position in space of agents and their inter-connections. Their behaviour is specified by a set of reaction rules. In this paper, we present a bigraphical encoding of a simplified actor language with static topology. We express actor configurations in terms of sorted bigraphs while the rules of the actor operational semantics are encoded by bigraphical reactive rules.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Sevegnani, Dr Michele
Authors: Sevegnani, M., and Pereira, E.
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © 2014 The Authors
Publisher Policy:Reproduced with the permission of the authors.

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