UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 9320
DCS Tech Report Number: TR-2010-310

Bigraphs with sharing
Calder,M. Sevegnani,M.

Publication Type: Tech Report (internal)
Appeared in: DCS Technical Report Series
Page Numbers :
Publisher: Dept of Computing Science, University of Glasgow
Year: 2010

URL: This publication is available at this URL.

Abstract:

We extend Milner's bigraphs to bigraphs with sharing, which model system topology by a directed graph structure. We give a categorical characterisation of bigraphs with sharing and a complete axiomatisation for algebraic expression of bigraphs with sharing.

Keywords: bigraphs, category theory


PDF Bibtex entry Endnote XML