Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "PROPS for Bigraphs"

by Ugo Montanari

Mon, 04 September 2017 at 09:00 am in Berlin, Germany

Joint work with: Roberto Bruni, Gordon Plotkin and Daniele Terreni

Abstract: Product permutation categories have been successfully used for representing graphs and networks of various kinds. In the talk, a few examples will be examined shortly, in particular, the case of Milner’s hierarchical bigraphs will be described.