297 search results - page 1 / 60 » An Algebra for Directed Bigraphs |
ENTCS
2008
13 years 5 months ago
2008
We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generaliza...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
CALCO
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
COSIT
2009
Springer
13 years 12 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...